Prepare for docker builds in CI #4090

Job	Run time
Fetch EasyCrypt External Projects Matrix	6s
EasyCrypt compilation (nix)	2m 34s
EasyCrypt compilation (opam)	2m 48s
Check EasyCrypt Libraries (stdlib)	6m 15s
Check EasyCrypt Libraries (unit)	2m 56s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 7s
Check EasyCrypt Libraries (examples)	5m 24s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 29s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 5s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 28s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 59s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 44s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	19m 51s
Check EasyCrypt External Projects (set-status)	2s
Notification	5s
	1h 20m 53s

Provide feedback