Install: Allow GNOME Shell version override
This allows overriding shell version in installer via the "gnomever" environment variable. This is needed when installing in developer builds of GNOME, where the result of calling "gnome-shell --version" may not match the versions available in this repository, thus failing to build shell theme.