python从网络下载文件并获得文件大小、文件类型