Update doc/vagrant.md