buildbot: use https url, instead of git. This is an experimental commit to try diagnose why git poller does not work