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

Job	Run time
rocq-core	40s
coq	43s
mathcomp-classical	2m 38s
mathcomp-analysis-single	14m 10s
mathcomp-reals	1m 47s
mathcomp-experimental-reals	1m 14s
mathcomp-reals-stdlib	1m 21s
mathcomp-analysis	12m 29s
mathcomp-analysis-stdlib	1m 30s
ssprove	0s
mathcomp-infotheo	6m 37s
	43m 9s

Provide feedback