Build docker test containers on release#943

fdupress merged 2 commits intomainEasyCrypt/easycrypt:mainfrom

ci-build-docker-test-on-releaseEasyCrypt/easycrypt:ci-build-docker-test-on-releaseCopy head branch name to clipboard