python通过文件头判断文件类型