Refactor writing of CSV tables in tablegenerator
Refactor writing of CSV tables in tablegenerator

Now the code that writes the head of the CSV table is completely
independent from the code that writes the benchmark-setup table
in HTML tables.

dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec