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

mentioned in issue #8 (closed)

added enhancement help-wanted labels

changed title from Feature request: button to download exported JSON files to Add button to download exported JSON files

added front-end label