Documentation for the Vagrant-dev-setup improved