[GNOME 3.8][Alt-Tab] Use new alt-tab keybindings