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

@8336c34

Stages:

• ✔️ x86_64-debian-13-4.14 (5m59s)
• ✔️ arm64-debian-13-4.14 (10m50s)
• ✔️ x86_64-debian-13-5.3 (5m55s)
• ✔️ arm64-debian-13-5.3 (4m53s)

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