A Redis-backed JSONRPC implementation in Python