Guake tabs indicator extension for Gnome Shell