Document the Diff algorithm

We often refer to it but never did actually explain it.
Merge pull request #411 from vjeux/diff_algorithm

Document the Diff algorithm