Text difference utilities

diff.rs: Taken from https://docs.rs/text-diff/latest/src/text_diff with some modernizing. All credits go to the author.

Other utilities are taken too. To be documented