Vagrant configuration for a jenkins CI server.