ecproofs: add caching and script export for proof directives#883

strub wants to merge 1 commit intoecproof-report-errorsEasyCrypt/easycrypt:ecproof-report-errorsfrom

ecproof-save-and-cacheEasyCrypt/easycrypt:ecproof-save-and-cacheCopy head branch name to clipboard