added some gnome 3 keyboard shortcuts