Vagrant box with Jenkins and Docker