Updated the Vagrant and Docker documentation