gnome shell extension for selecting windows in overview mode with arrow keys