switch JSON serializer

was:  [online](http://jsonviewer.stack.hu/)

now:  python's `json` library:  the `json.dumps` function takes an `indent` argument