[klee-stats] Refactor preparing and printing the table

The number and order of statistics in klee-stats is hard coded.
Moreover, adding new statistics to KLEE lead to crashes.

Rewriting that part of the script generalises and streamlines the process.

List of changes:
* Extend legend: this is used for known columns to provide shorter names
* simplify sqlite handling and make it more robust and reading of data
* select columns based on internal KLEE names
* streamline addition of artificial columns and make it robust
* handle the case if different runs should be compared but not all have the same statistics
* fix calculation of summary row:
  - avg of column if column is showing a relative value or avg value
  - max of column if column is showing a max value
  - sum of column entries, else

0 files changed, 0 insertions, 0 deletions