Toggle the gear menu with F10

Add an action to toggle the gear menu and slightly rework fullscreen
handling to make sure the bar is revealed when showing the gear menu
programmatically

https://bugzilla.gnome.org/show_bug.cgi?id=735511