GNOME Shell extension that adds a menu with all open windows