PR #130: Mutation testing: diff-runner fixes, per-operator plugin config, SB rena...