Merge branch 'jr/flashcrowd_bugfix' into 'master'

Bug fix flash crowd workload

This bug caused for very small FlashCrowdIntervals that, with a high probability, the target peer population (= maxPeersOnline * FlashCrowdMultiplier) is not reached or that the flash crowd is skipped completely.

The source branch can be deleted when merged.

See merge request !7