Updated Vagrantfile with provider and Docker provisioning