INSTALL: use basic GIT protocol when cloning repo from install script