A continuous integration and build server for Docker containers