CI builds

[Jonathan Gallimore]

For info, it looks like the buildslave for our buildbot CI build has been
down a while. I've created a JIRA ticket here:
https://issues.apache.org/jira/browse/INFRA-17889

Jon