Gnome-shell extension to add some additional window-switching keyboard shortcuts