Add small button for downloading JSON contents as a CSV file.

Unfortunately this pulls in all of JQuery and all of the JQuery-CSV file. But it works!