A streaming JSON tokenizer/parser