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

Job	Run time
rocq-core	42s
coq	41s
mathcomp-classical	2m 39s
mathcomp-analysis-single	13m 52s
mathcomp	42s
mathcomp-reals	1m 45s
mathcomp-experimental-reals	1m 13s
mathcomp-reals-stdlib	44s
mathcomp-analysis	12m 25s
mathcomp-analysis-stdlib	40s
ssprove	0s
mathcomp-infotheo	6m 35s
	41m 58s

Provide feedback