Add missing Vagrantfile docs
Merge pull request #2122 from psi/docs-fixes

website/docs: add missing Vagrantfile docs