adding gnome-shell extensions