A Puppet module to install selected Gnome Shell Extensions.