Finishes replacing jenkins with buildbot.