[docker] consolidate dockerfiles#1007

fdupress wants to merge 1 commit into

docker-binary-alt-ergoEasyCrypt/easycrypt:docker-binary-alt-ergofrom

docker-consolidateEasyCrypt/easycrypt:docker-consolidateCopy head branch name to clipboard