A bash script to install and search extensions from extensions.gnome.org