Improve Vagrant setup doc