Modified Vagrantfile to use the Docker provider