mirage/mirage-dev: PR #387: Rename the freestanding context to solo5 for mirage-{console,net,block}-solo5

@7d341cc

Stages:

• ❌ x86_64-debian-10-4.13 (5m59s)
• ❌ arm64-debian-10-4.13 (1m24s)

History:

• 26/03/2022 13:40 ❌ @50952a0 (5m55s)
• 26/03/2022 13:36 ❌ @9e1fba1 (1m18s)
• 25/03/2022 16:17 ❌ @76716c9 (10m10s)
• 25/03/2022 16:01 ❌ @54c64e1 (6m30s)
• 25/03/2022 15:29 ❌ @7d341cc (5m59s)
• 25/03/2022 15:24 ❌ @f35f725 (4m08s)
• 25/03/2022 15:19 ❌ @9f33d04 (1m16s)
• 25/03/2022 15:09 ❌ @14cb8d1 (6m58s)
• 25/03/2022 15:02 ❌ @03de09b (4m37s)
• 25/03/2022 14:53 ❌ @fe953e1 (5m00s)
• 25/03/2022 14:11 ❌ @1f44ed0 (1m20s)