Update INSTALL.vagrant.md