Remove Stdlib dependency #381

Job	Run time
coq	1m 13s
coq-elpi	1m 46s
hierarchy-builder	1m 54s
mathcomp-ssreflect	3m 48s
QuickChick	4m 16s
autosubst	3m 50s
coquelicot	4m 9s
mathcomp-bigenough	3m 31s
mathcomp-fingroup	4m 7s
mathcomp-finmap	3m 46s
relation-algebra	4m 42s
mathcomp-algebra	4m 10s
interval	2m 53s
mathcomp-solvable	5m 36s
mathcomp-classical	5m 18s
multinomials	4m 52s
mathcomp-reals	2m 43s
mathcomp-field	5m 25s
mathcomp-reals-stdlib	2m 46s
mathcomp-experimental-reals	3m 18s
mathcomp-character	5m 14s
mathcomp-analysis	13m 20s
mathcomp-real-closed	6m 4s
mathcomp	3m 16s
coqeal	6m 0s
odd-order	1m 43s
mathcomp-analysis-stdlib	1m 36s
	1h 51m 16s

Provide feedback