Support indentation when writing JSON streams #55
Description
The current JSON stream generation is produced on a single line without spaces.
This is good to API generation but produces a JSON which is harder to read by humans.
It can be passed to json_pp but this is not always easy to do.
Similar to the XML, an indentation level could be added.