add a Vagrant file