Modify vagrant-installation.md