[docker] update dockerfiles, add formosa docker#840

fdupress wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

jasmin-dockerEasyCrypt/easycrypt:jasmin-dockerCopy head branch name to clipboard