python实现从网络下载文件并获得文件大小及类型的方法