Using Docker for continuous integration