add a Vagrantfile