python 获得文件大小、修改时间等系统信息