jsonrpc: Make it easy to get a new JSON-RPC request's id.