Update set-up-vagrant.md