[Bug 712560] Review Request: gnome-shell-extension-theme-selector - extension for review & change gnome-shell themes