js 把字符串保存为txt文件，并下载到本地