proofnav: improve EasyCrypt error handling in Sphinx extension#882

strub merged 2 commits intomainEasyCrypt/easycrypt:mainfrom

ecproof-report-errorsEasyCrypt/easycrypt:ecproof-report-errorsCopy head branch name to clipboard