[provers] update all CVC5 versions#1004

fdupress wants to merge 1 commit intoci-in-fresh-build-boxEasyCrypt/easycrypt:ci-in-fresh-build-boxfrom

docker-cvc5-1.3.4EasyCrypt/easycrypt:docker-cvc5-1.3.4Copy head branch name to clipboard