Upgrade Vagrantfile for v2 of the config format