add jquery.hotkeys library