add Vagrantfile for Jenkins