contrib/jenkins.sh: use https:// instead of git://Change-Id: I5f184fd100230e1b9c0076739f49901ab2782b4f