documentation updates for Vagrant