updates to Vagrant and related docs