CSV Headers should be added only exactly once, to avoid being confused with data

[smarr]

With #220 we are writing a line of headers into the file.

We should only do that when the file is initially empty.
Otherwise, the header line may be confused as data.

@naomiGrew something for next week :)