Allow disabling shortcuts

Just like mnemonics, shortcuts can sometimes interfere with
applications running in the terminal.

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