benchmarks: Ignore temporary files when collecting statistics
benchmarks: Distribute results over different directories
Allows benchmarks of two formula series to be performed in parallelwithout interfering with each other.
benchmarks: Output numbers with leading zeros
Some csv tools can only sort lexicographically
benchmarks: Allow to have multiple directories with benchmark results
benchmarks: Add script to collect results into CSV format