Intensifier misses minR argument

[mfeurer]

The argument minR to intensify (implemented by the variable name min_config_calls) was removed in 0a1dff4

However, having the minR is helpful to prescribe a minimal number of calls for a configuration to be certain when discarding it, or for creating an example (see #1061).

Therefore, I suggest to add this flag again.