updated Vagrantfile for Vagrant 1.3.1 syntax