Refactor ecPhlConseq.ml: restructure, deduplicate, document, and annotate#965

strub wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

conseq-refactorEasyCrypt/easycrypt:conseq-refactorCopy head branch name to clipboard