use https for git clone

we use internal build systems whose ssh keys are not added to github