Remove old hostname in installation-vagrant.rst
Merge pull request #1128 from openjck/vagrant-hostname

Remove old hostname in installation-vagrant.rst