Modified Vagrantfile to use Docker provider