buildbot: clone and pull with --progress, avoids build timeouts
buildbot: more verbose