用servlet写的一个简单的下载文件功能