Change-Id: I6d18017311013f3bb63451c4b6f59f82f02f918a
.desktop files for various Linux distros, and similar stuff for other OSes