Fix deprecations on 8.19 and 8.20, update CI #25

Job	Run time
build (mathcomp/mathcomp-dev:coq-dev)	2m 43s
build (mathcomp/mathcomp:2.2.0-coq-8.20)	7s
build (mathcomp/mathcomp:2.2.0-coq-8.19)	12m 44s
build (mathcomp/mathcomp:2.1.0-coq-8.18)	21m 38s
build (mathcomp/mathcomp:2.0.0-coq-8.17)	23m 11s
build (mathcomp/mathcomp:1.17.0-coq-8.17)	14m 22s
build (mathcomp/mathcomp:1.16.0-coq-8.17)	14m 19s
build (mathcomp/mathcomp:1.15.0-coq-8.16)	16m 12s
build (mathcomp/mathcomp:1.14.0-coq-8.15)	17m 7s
build (mathcomp/mathcomp:1.13.0-coq-8.15)	16m 20s
build (mathcomp/mathcomp:1.12.0-coq-8.14)	16m 47s
	2h 35m 30s

Provide feedback