Document diff:diff/3 better
Document diff:diff/3 better

I'll soon reimplement this code in terms of the line patches used my the
"patch" module.  This documentation is what I should have written for
myself when I finished implementing diff/3 the first time.

mndrix/tp