Update installation-vagrant.rst