Upgrade vagrantfile format to the new version