New feature: exporting the results of a survey to csv, addressing #1