Updated instructions and uncommented provisioner for the Vagrantfile