add helpful statistics to batch-distribute command

[JeffGainsNGames]

something like:

• avg time
• shortest/longest time
• generator failures counts (and a list of the seeds)
• solver failure counts (and a list of the seeds)

[ThanatosGit]

Last two bullet points were added by #7193