tweak hotkey map notation to allow stuff like shift-arrows
add experimental HOOK_SANITIZE
Merge remote-tracking branch 'upstream/master' into my_custom_keys
added comments for new Shift-modifier