Let the tool suggest an "optimal" prover configuration.

[Jellix]

Is your feature request related to a problem? Please describe.
A lot of times, optimizing proof times just consists of shuffling around which prover should be called first.
See, for example this PR

Describe the solution you'd like
Given the data provided, the tool should output a suggested configuration of prover/file matrix.

Describe alternatives you've considered
Manually reading through the output. But well, we do have a tool, we do have the data, so why not use both?

[Jellix]

Link to wiki page