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

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

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