Implement (+ ctrl ;) meaning ; down while holding ctrl

When type fast enough, Ctrl-; will become "<ctrl>;<ctrl>^;^",
so the global bring out hotkey has a special semantic meaning.
Until we find a better way to fit everything together,
we use a brute force algorithm to handle this:
expand every key sequence into up/down key event.