New feature: randomized timings in PulseTrigger

We added a useful feature in the PulseTrigger plugin that we call RandomizeTiming. This feature makes it possible to add randomization to the timings of the plugin. The value is a percentage that describes how far (before or after) the standard timing every new...