Revise provisioner/Vagrantfile for CoreOS