added JS for exporting result div to CSV