documentation updates for Vagrant
Merge branch 'develop'