Installing Gnome Shell extensions from the command line