configurable hot keys for built-in functions

allow the user to map any function, for example "toggle case sensitive search"
or "delete current line in editor", to a self-defined hot key, to allow emulation
of input schemes of other text editors or IDE's.