Add section: Lebesgue-Stieltjes measure of cdf #81

Job	Run time
coq	42s
mathcomp-analysis-single	15m 37s
mathcomp	41s
mathcomp-classical	2m 47s
mathcomp-reals	42s
mathcomp-experimental-reals	42s
mathcomp-analysis	13m 24s
mathcomp-reals-stdlib	41s
ssprove	42s
mathcomp-analysis-stdlib	41s
	36m 39s

Provide feedback