implemented "download as file" option for export

The user can now download the exported json as a text file directly by
clicking a button (the file is labeled with the current date and is a
.txt, maybe some customization can be implemented there for the format).