Use virtual key codes instead of ASCII characters to set up hotkeys, so that
we can detect (and understand) AltGr sequences. Closes issue $9.