Update instructions to use repo Vagrantfile