Add a gsettings key for controlling whether extensions.gnome.org repo is
enabled, and implement plugin functions for enabling/disabling the repo
so that it correctly shows up in the repos dialog as "GNOME Shell
Extensions Repository".