Override Columns Names in CSV Result Files #16

There should be an option to override column names in CSV result files. Currently, the output file format allows the user to specify names for columns in a CSV result file. However, if the header flag is set to true the names in the file are used.

The desired behavior is that if a list of columns is given the names in this list will be used as column names in all cases, independent of whether the file contains a header line or not.