Fixing code blocks display in readme #3519

Job	Run time
Fetch EasyCrypt External Projects Matrix	2s
EasyCrypt compilation (nix)	1m 39s
EasyCrypt compilation (opam)	1m 16s
Check EasyCrypt Libraries (unit)	1m 15s
Check EasyCrypt Libraries (stdlib)	5m 4s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 53s
Check EasyCrypt Libraries (examples)	3m 15s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 17s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 17s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 41s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 43s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 53s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 8s
Check EasyCrypt External Projects (set-status)	4s
Notification	2s
	1h 6m 29s

Provide feedback