updating coq and mathcomp versions #79

Job	Run time
build (mathcomp/mathcomp:2.2.0-coq-8.19)	6m 18s
build (mathcomp/mathcomp:2.3.0-coq-8.20)	5m 57s
build (mathcomp/mathcomp-dev:rocq-prover-dev)	15m 17s
	27m 32s

Provide feedback