Some basic facts on polynomials + fix theory cloning #3556

Job	Run time
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	1m 23s
EasyCrypt compilation (opam)	1m 18s
Check EasyCrypt Libraries (unit)	1m 18s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 52s
Check EasyCrypt Libraries (stdlib)	5m 15s
Check EasyCrypt Libraries (examples)	3m 4s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 21s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 20s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 43s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 38s
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 15s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	1h 6m 30s

Provide feedback