added Vagrantfile snippet