Convert export.php to treat the result as a downloaded csv file, instead of as browser-viewable text.  The download name includes the current date and a .csv extension. Fixes #7
Convert export.php to treat the result as a downloaded csv file, instead of as browser-viewable text.  The download name includes the current date and a .csv extension.
Fixes #7

jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet