[docker] provers: bump alt-ergo to 2.6.3#979

fdupress wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

prover-alt-ergo-2.6.3EasyCrypt/easycrypt:prover-alt-ergo-2.6.3Copy head branch name to clipboard