Gnome shell extension that shades inactive windows