extended PlainTextDiffPresenter configuration & api
added ElementProperty, extended Property presentation api
first draft of translating Paths for Set diffs
better java api for setting custom toStrings in PlainTextDiffPresenter