Updates to documentation of vagrant installation