add download attribute to anchor tag for JSON export link so that it wil...

...l download a .json file into the browser, rather than opening it in the tab.