Add Jenkins Vagrantfile