Better keys

[rking]

• Figure out what keybindings are available
• Make a toggle-1337keys keybinding (which allows us to use better shortcuts)

Probably mimic something like https://github.com/jedediah/MacHack (but that one
seems pretty complicated, probably the essence is smaller)