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