Vagrant project for quickly setting up a virtual machine running the Jenkins CI server