Enable compilation without the coq shim on Rocq 9.0 #77

Job	Run time
coq	1m 4s
stdlib	1m 7s
coq-elpi-tests	1m 55s
coq-elpi-no-stdlib	57s
coq-elpi	1m 6s
coq-elpi-tests-stdlib	1m 49s
hierarchy-builder	1m 1s
mathcomp-ssreflect	1m 1s
mathcomp-fingroup	1m 2s
mathcomp-bigenough	1m 2s
autosubst	1m 34s
mathcomp-finmap	1m 2s
QuickChick	2m 3s
mathcomp-algebra	1m 1s
mathcomp-solvable	1m 1s
mathcomp-classical	1m 1s
multinomials	1m 3s
mathcomp-reals	1m 1s
mathcomp-field	1m 0s
mathcomp-reals-stdlib	1m 2s
mathcomp-experimental-reals	2m 5s
mathcomp-real-closed	1m 9s
mathcomp-character	1m 1s
mathcomp-analysis	1m 2s
mathcomp	1m 7s
mathcomp-analysis-stdlib	1m 1s
coqeal	3m 29s
odd-order	9m 18s
	44m 4s

Provide feedback