Change Json serializer/deserializer library to improve performance

[gabriele-tomassetti]

One user noted that Gson is a comparatively slow serializer/deserializer library. They suggest switching to dsl-json, kryo, protostuff, or at least jackson.