CI regression tests: count improvements correctly

Copy scripts/table-generator.py and hack table-generator's function to properly count improvements and print nicer statistics.

This makes an additional script redundant. Also, just allow BenchExec to zip current result instead of packing it explicitly later.