A minimal JSON (de)serializer that produces easily readable JSON