Add section: Lebesgue-Stieltjes measure of cdf #4488

Job	Run time
rocq-core	48s
rocq-elpi	46s
coq	50s
coq-elpi	47s
stdlib	48s
mathcomp-finmap	48s
mathcomp-bigenough	52s
hierarchy-builder	44s
mathcomp-analysis-single	16m 30s
mathcomp-classical	48s
mathcomp	45s
mathcomp-reals	47s
mathcomp-reals-stdlib	51s
mathcomp-analysis	53s
mathcomp-experimental-reals	48s
mathcomp-analysis-stdlib	54s
	28m 39s

Provide feedback