Gnome Shell extension that make the top bar dynamically change its transparency