Use new version of Vagrant's configuration system.

This is an update of the Vagrantfile's configuration system version. It's useful for future compatibility and using other providers like ec2 and vmware.