Class JsonEncoder

note: this class in runtime is used for non-typed json implementation: for json_encode() and json_decode() for classes, e.g. `JsonEncoder::encode(new A)`, see json-writer.h and from/to visitors todo somewhen, unify this JsonEncoder and JsonWriter, and support JSON_PRETTY_PRINT then