requiring jquery hotkeys plugin

hotkeys screw things up without this requirement.