Print more timing information
Fix: incorrect calculation of sample standard deviation

The stored sample values were not being multiplied by the multiplier
before calculating the difference with the estimate.
Switch result output from CSV to TSV format

This allows copy/pasting results into Google spreadsheets
Fix: Incorrect Korshunov estimate (was copied from Wikipedia)!