Update documentation to mention vagrant.