StarSs: allow optional variable GIT_REPO

StarSs_testing_install.sh

@@ -30,6 +30,12 @@ else
     fi
 fi
 
+# you *may* also specigy a git repository
+if [ -z ${GIT_REPO} ]; then 
+    GIT_REPO=hlrs-gitolite:hlrs-text
+fi
+echo "Getting source for repository $GIT_REPO"
+
 COMPILER=gnu-4.5
 if [ ${TARGET} = "hermit_cray" ]; then 
     COMPILER=cray
@@ -73,7 +79,7 @@ fi
 cd ${WORK_DIR}
 
 if [ ${TARGET} = "laki" ]; then
-    git clone hlrs-gitolite:hlrs-text
+    git clone ${GIT_REPO} hlrs-text
     cd hlrs-text
     git checkout -b ayudame origin/ayudame
     cd ProgModel/SMPSs_repository/starss