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

fdupress merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

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