A small Vagrant file that installs Jenkins on a Debian Wheezy distro