Vagrant project to install Jenkins.