A port from TaskBar that works on Gnome Shell 3.6+