added export to file function in jsoneditor