mirage/mirage: PR #1289: Update to cmdliner 1.1.0

@e553674

Stages:

• ❌ x86_64-debian-10-4.13 (12m15s)
• ❌ arm64-debian-10-4.13 (4m37s)

History:

• 25/03/2022 12:10 ✔️ @fbe3f23 (23m56s)
• 25/03/2022 10:04 ❌ @456962a (24s)
• 24/03/2022 17:42 ❌ @4a6e04a (7m50s)
• 23/03/2022 17:28 ❌ @219af16 (4m47s)
• 19/03/2022 15:54 ❌ @c0d8af7 (12m18s)
• 18/03/2022 17:56 ❌ @39a6645 (11m23s)
• 15/03/2022 17:54 ❌ @e553674 (12m18s)
• 15/03/2022 17:22 ❌ @ae07928 (10m04s)
• 15/03/2022 16:33 ❌ @9512984 (34m59s)
• 13/03/2022 10:46 ❌ @e43aa4d (15m14s)
• 13/03/2022 10:43 ❌ @a4af94f (2m01s)
• 11/03/2022 10:20 ❌ @ffa34f1 (8m05s)
• 11/03/2022 10:15 ❌ @e49b128 (1m04s)
• 09/02/2022 19:08 ❌ @83ce151 (16m17s)