Pretty diff

The diff in a comment is now colored: green for new lines red for deleted lines. This could be prettier, for example by coloring the changed parts of a line dark green.

This is in particular useful when using git with LaTeX.

Sometimes, this is already done, but often, e.g., when splitting lines, this is not done!

For a more complete example, check the p4merge tool, there, this is built-in in a much more general way.