Tidy up some documentation of Vagrant and Docker virtualization