Json-stream utilities. Formatting of or grepping in arbitrary large json streams without running out of memory. Implemented in java/jackson.