Update README.md #426

Job	Run time
coq	41s
mathcomp-single	37s
stdlib	48s
bignums	42s
coq-elpi	42s
hierarchy-builder	41s
mathcomp-ssreflect	43s
mathcomp-fingroup	6m 55s
mathcomp-bigenough	5m 13s
mathcomp-finmap	5m 15s
reglang	5m 41s
deriving	5m 32s
mathcomp-algebra	43s
fourcolor	13m 14s
coq-bits	42s
mathcomp-classical	2m 34s
mathcomp-solvable	2m 24s
multinomials	42s
mathcomp-field	4m 21s
mathcomp-reals	3m 8s
mathcomp-experimental-reals	1m 45s
mathcomp-reals-stdlib	1m 27s
mathcomp-real-closed	3m 59s
mathcomp-analysis	10m 45s
mathcomp-character	4m 1s
coqeal	3m 0s
mathcomp	2m 23s
odd-order	9m 6s
mathcomp-analysis-stdlib	9m 22s
	1h 47m 6s

Provide feedback