Bernoulli trials and central limit theorem

[hoheinzollern]

Motivation for this change

I'm opening this draft PR to track the progress on this branch.

The PR contributes a definition of Bernoulli trials and its central limit theorem. This should be linked to the Bernoulli probability measure in #895 . Another contribution is definitions of independent random variables, this should be split in a different PR.

More work is needed to complete this result, I plan to resume this soon.

Checklist

• [ ] added corresponding entries in CHANGELOG_UNRELEASED.md

• [ ] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

• Read this Checklist
• Put a milestone if possible
• Check labels