Simple, lightweight hotkeys for linux/X11