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