利用python对大量图片进行重命名