Add tentative auto-generated EasyCrypt language documentation#976

strub wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

doc-languageEasyCrypt/easycrypt:doc-languageCopy head branch name to clipboard