Add a fold operation over finite maps, and associated lemmas#717

fdupress wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

fmap-foldEasyCrypt/easycrypt:fmap-foldCopy head branch name to clipboard