Optional random seed as user input

[HenningSE]

With this PR we will give users the option to set the random seed manually. If you want to use this function, you need to set deterministic_seed to False and user_defined_random_seed to the seed you want to use.

[coveralls]

Pull Request Test Coverage Report for Build 8555588004

Details

• 11 of 13 (84.62%) changed or added relevant lines in 3 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.2%) to 68.484%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
fuse/plugin.py	9	11	81.82%

Totals
Change from base Build 8539752086:	0.2%
Covered Lines:	1834
Relevant Lines:	2678

---

💛 - Coveralls

[dachengx]

Thanks @HenningSE . Please add a test for this feature.

[HenningSE]

Thanks for the suggestion @dachengx. I added the following tests:

• test if all fuse plugins get the user defined seed
• test if all fuse plugins with a rng have a seed value defined
• test if we can intercept negative random seeds
• test if the run number changes the deterministic random seed
• test if a changed config arg changes the deterministic random seed

The last two tests are not specific to the changes in this PR but I think it does not hurt us to have them.

[dachengx]

Thanks @HenningSE . All good with a small potential improvement.