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

strub wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

trace-in-ecoEasyCrypt/easycrypt:trace-in-ecoCopy head branch name to clipboard