Update tools/README.md

Precise clarification of what the doc mappings file does.