Update README.md #10

Job	Run time
coq	38s
coq-elpi	45s
hierarchy-builder	1m 12s
mathcomp-ssreflect	2m 58s
mathcomp-single	6m 43s
autosubst	1m 14s
mathcomp-fingroup	1m 46s
mathcomp-bigenough	1m 12s
deriving	1m 38s
mathcomp-finmap	1m 24s
QuickChick	1m 43s
reglang	1m 42s
mathcomp-algebra	3m 23s
fourcolor	17m 11s
mathcomp-classical	6m 53s
coq-bits	5m 30s
multinomials	6m 21s
mathcomp-solvable	6m 46s
mathcomp-reals	3m 22s
mathcomp-field	4m 12s
mathcomp-experimental-reals	1m 51s
mathcomp-reals-stdlib	1m 27s
mathcomp-character	4m 13s
mathcomp-real-closed	4m 1s
mathcomp-analysis	11m 20s
coqeal	3m 17s
mathcomp	1m 29s
odd-order	9m 1s
mathcomp-analysis-stdlib	9m 40s
	2h 2m 52s

Provide feedback