Installation on Linux adds a menu shortcut.

This uses a standard .desktop file, so should work on all Linux
varieties.