String to JSON

Parse a raw JSON string — including strings with escaped quotes or wrapped in outer quote characters — and produce a prettified, valid JSON document.