Machine-readable output format

[FelixLange1998]

Currently, the output format is not easily machine-parsable, complicating integration with existing systems for further analysis.

[XoMEX]

I believe this is mostly a documentation issue, as we support serializing the report to a file (json IIRC)