ProcessingMessage: improve .toString()
AbstractProcessingReport: improve .toString()
Javadoc fix, and complete overview.html to mention JSON Patch support