Use std::fixed to format time column in CSV files
Use std::fixed to format time column in CSV files

The default precision is 6 digits, and with std::fixed this is
interpreted to mean maximum number of digits after the decimal point.

This fixes issue #54, "Too low time precision in CSV output".

kyllingstad/coral,kyllingstad/coral,viproma/coral