Gnome-Shell extension that creates a system menu on top panel