requiring jquery hotkeys plugin

Keyboard events are screwed up without jquery.hotkeys. Without jquery.hotkeys, any keydown event triggers the first keydown event binding, which in this case is the grid tool, and the event propagation is stopped at the document level.