Desktop integration for AppImage
The desktopintegration
script we used previously for the AppImage has been removed. For convenience, we should provide the user with another way to integrate an AppImage into the desktop. For example, we could add a menu option to the app menu. In addition, we could check if a desktop file which points to the current app image exists and if not, ask the user if we shall create it.