Add Keyboard Shortcuts overlay

We can optionally remove the shortcuts page from Help after this.

https://help.gnome.org/users/gnome-mines/stable/shortcuts.html

I can submit a merge proposal for that if you want it.

UPDATE: I've gone ahead and added a commit to hide the shortcuts page from the main help view.