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