A Gnome-Shell extension which adds an icon to the top panel showing a list of minimized windows