Switch back to released opam versions in CI#37

xavierleroy merged 2 commits intoocaml:masterocaml/num:masterfrom

dra27:release-opamdra27/num:release-opamCopy head branch name to clipboard