Added preliminary keyboard_event_handler.js for handling ctrl-c, escape, etc. key presses