csvexport: streaming export to csv