Add button to download exported JSON files

To store the exported JSON files, one needs to copy all lines and paste them manually in a text file. As the generated JSON can become quite large, a file download would nice