Additions to documentation/instructions on vagrant setup