add probabilty theory to perl script (#1874) #675

Job	Run time
rocq-core	38s
coq	1m 14s
mathcomp-analysis-single	14m 21s
mathcomp-classical	2m 40s
mathcomp-reals	1m 53s
mathcomp-reals-stdlib	2m 46s
mathcomp-experimental-reals	2m 23s
mathcomp-analysis	14m 8s
mathcomp-analysis-stdlib	13m 14s
mathcomp-infotheo	6m 46s
	1h 0m 3s

Provide feedback