Don't load jquery hotkeys when it's already loaded

Only load jQuery.hotkeys when it's not yet defined.

Re-requiring the library breaks pages that already have the library included.