Split `probability.v` into a directory `probability_theory`

[affeldt-aist]

Anticipating PRs of results from PR #1645 ("Bernoulli sampling", fyi: @hoheinzollern @t6s @proux01 @CohenCyril ) and PR #1391 (about independence of RVs, fyi: @hoheinzollern @t6s )