Use a filename for CSV download

Closes #14