docs: add high-level description of the Merkle DAG
text adapted from iPRES 2017 paper about Software Heritage, section "Data Model"
Closes T787