Updated vagrant success instructions to match HACKING.md