A streaming JSON tokenizer