Port the menu to AppMenu
Submitted by Robert Roth
Link to original bug (#742872)
Description
The menu doesn't have too many items, these would perfectly fit in an appmenu. As the ui manager-built menu has been deprecated and it should be replaced, porting to appmenu directly would be nice, to be consistent with the other gnome games.