adding a Vagrantfile