Adapt Vagrantfile for the 3 servers and update README.md