Add a download filename

CSVs will download as `json_as.csv`, making it easier to open with the right application.