Add PKE libraries (both standard model and ROM) (#677) #3626

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

Provide feedback