Remove old hostname in installation-vagrant.rst