Prepare for docker builds in CI#842

fdupress wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

docker-builds-in-ciEasyCrypt/easycrypt:docker-builds-in-ciCopy head branch name to clipboard