Dev commit. Nonworking feature of exporting table in csv.

* php/index: added an option field for the csv download.

* php/csv.php: creates a csv file out of the table.