Increase width of status column in stdout of benchexec.
Increase width of status column in stdout of benchexec.

Our status texts got longer in the last years, so it is time to increase the column width.
The text `false(valid-memcleanup)` has `23` chars which is already larger than the existing limit of `22`.
For an example table, you can take a look at https://buildbot.sosy-lab.org/cpachecker/#/builders/18/builds/210/steps/4/logs/stdio ,
where the columns are slightly misaligned.
dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec