Add PKE libraries (both standard model and ROM) #3539

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

Provide feedback