Updated ref to Vagrantfile in docs