Simple CSV export

Add a simple CSVFile class that allows disk-write to CSV. Very simple.