web.xml文件中配置<mime-mapping>下载文件类型