JSON Minifier

Strip every unnecessary character from JSON.

Removes all whitespace between tokens, producing the smallest JSON that parses to the same value. The document is parsed first, so minifying also validates — and the saving is reported so you can see whether it was worth it.