mirage/mirage: PR #1309: Propagate the user specified config.ml to the generated dune file

@a61894b

Stages:

• 🟠 x86_64-debian-10-4.13 (8m02s)
• ✔️ arm64-debian-10-4.13 (7m02s)

History:

• 23/03/2022 17:12 🟠 @a61894b (8m02s)
• 23/03/2022 16:42 🟠 @798d1f5 (22m15s)
• 21/03/2022 14:24 ✔️ @0af210d (22m44s)
• 21/03/2022 13:43 ❌ @9f93567 (10m14s)