Switch from jquery.hotkeys to Mousetrap

For whatever reason when the browser was under some stress (like lots
of tabs) all events would fire on any keyboard interaction at all.
This led to all kinds of crazy :/