updating Vagrantfile to 1.2 format