JSON-RPC tools for Python - serializer, deserializer, request handler decorator - plug your own server