JSON formatter

Tidy up JSON so it's easy to read, shrink it to one line, or find out why it won't parse.