Change repo addresses to use https by default

Following external comments and bug 1706 in redmine, it appears that using https by default is a better idea than ssh based addresses. This proposes to do so : there is a new variable USE_GIT_SSH set to off by default.

One more thing : run scripts were bugged the first commit corrects this