Hotkeys

Brings in a 3rd-party module for defining hotkeys.