Fix bug 1104292: Provide links in Vagrant docs
Merge pull request #2922 from openjck/1104292-vagrant-links

Fix bug 1104292: Provide links in Vagrant docs