Filling out Vagrantfile