Add a stream parser for JSON, and a format_json utility