Updated Vagrantfile to new format.