Add JSONRPC.decode_options