Gnome Shell extension which makes workspace switcher show thumbnails instead of arrows