Store more information in the RunSet object instead of OutputHandler to make the latter have less mutable state.
Store more information in the RunSet object instead of OutputHandler
to make the latter have less mutable state.

bjowac/impara-benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,michkot/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,michkot/benchexec,cheshire/benchexec,IljaZakharov/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,cheshire/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,bjowac/impara-benchexec,ultimate-pa/benchexec,michkot/benchexec,ultimate-pa/benchexec,cheshire/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,bjowac/impara-benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec