add GNOME 3.8 keybindings