docker

Docker infrastructure for continuous integration