[misc] Use the version number in the application menu entry (debian packaging)