Add tactic for lossless while #3652

Job	Run time
EasyCrypt compilation (nix)	1m 19s
EasyCrypt compilation (opam)	2m 47s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (unit)	2m 53s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 29s
Check EasyCrypt Libraries (stdlib)	6m 45s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 38s
Check EasyCrypt Libraries (examples)	4m 37s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 55s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 13s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 55s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 3s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	22m 23s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	1h 23m 6s

Provide feedback