Buildbot

We used to use Buildbot for CI, but we don’t have anything running at the moment.