Use batch metadata for plugin app summaries (#34851)

## What changed

- Load app metadata for plugin read and install responses through the authenticated batch API, splitting requests into batches of 100 and retaining cached metadata if a batch fails.
- Preserve every declared app in plugin responses, using its ID as the fallback name and retaining categories from the plugin declaration when metadata is unavailable.
- Add `isEnabled`, `disabledReason`, and `isReadOnly` to `AppToolSummary`, with defaults that keep legacy responses compatible.

## Testing

- Cover plugin reads with more than 100 apps, partial batch failures, install-time authentication results, tool-state propagation, and legacy tool summaries.

GitOrigin-RevId: 14000df9c5c94dde781358e292a8bef741c5dd23

codex-rs/app-server-protocol/src/protocol/v2/apps.rs

@@ -190,6 +190,11 @@ pub struct AppToolSummary {
     pub name: String,
     pub title: Option<String>,
     pub description: String,
+    #[serde(default = "default_enabled")]
+    pub is_enabled: bool,
+    pub disabled_reason: Option<String>,
+    #[serde(default)]
+    pub is_read_only: bool,
 }
 
 #[derive(Serialize, Deserialize, Debug, Clone, PartialEq, JsonSchema, TS)]