[eco]: add a compilation trace (messages + goals) #2883

Job	Run time
Check for Duplicates Jobs	5s
EasyCrypt compilation (nix)	1m 13s
EasyCrypt compilation (opam)	7m 32s
Fetch EasyCrypt External Projects Matrix	2s
Check EasyCrypt Libraries (unit)	6m 32s
Check EasyCrypt Libraries (stdlib)	11m 46s
Check EasyCrypt Libraries (examples)	13m 25s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	7m 26s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	2h 3m 51s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	10m 45s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	7m 13s
Check EasyCrypt External Projects (set-status)	4s
Notification	4s
	3h 9m 58s

Provide feedback