mirage/mirage: PR #1614: upgrade to cmdliner 2.0

@a1ecdde

Stages:

• 🟠 x86_64-debian-13-4.14
• 🟠 arm64-debian-13-4.14
• 🟠 x86_64-debian-13-5.3
• 🟠 arm64-debian-13-5.3

History:

• 03/10/2025 12:19 ✔️ @5f1dca7 (4m03s)
• 03/10/2025 11:52 ✔️ @8336c34 (12m21s)
• 03/10/2025 11:44 ✔️ @a0a234a (4m18s)
• 03/10/2025 11:42 🟠 @35ccc42
• 03/10/2025 11:41 🟠 @a1ecdde
• 03/10/2025 11:04 ✔️ @023b170 (4m28s)
• 03/10/2025 11:03 🟠 @78a2d2c