Update mathcomp packages

[CohenCyril]

ci-skip: coq-mathcomp-ssreflect.2.3.0 coq-mathcomp-fingroup.2.3.0 coq-mathcomp-algebra.2.3.0 coq-mathcomp-solvable.2.3.0 coq-mathcomp-field.2.3.0

[palmskog]

@CohenCyril this looks like an actual version incompatibility:

  - install coq                    8.18.0   [required by coq-mathcomp-ssreflect]
  - install atdts                  2.15.0   [required by elpi]
  - install atdgen                 2.15.0   [required by elpi]
  - install elpi                   1.17.4   [required by coq-mathcomp-ssreflect]
  - install coq-elpi               1.19.3   [required by coq-hierarchy-builder]
  - install coq-hierarchy-builder  1.6.0    [required by coq-mathcomp-ssreflect]
  - install coq-mathcomp-ssreflect 2.3.0
 
# COQC order.v
# COQC binomial.v
# File "./order.v", line 2082, characters 0-2:
# Error: Syntax error: illegal begin of vernac.
# 
# make[2]: *** [Makefile.coq:838: order.vo] Error 1
# make[2]: *** [order.vo] Deleting file 'order.glob'