Updating vagrant docs in the release branch