python快速批量将jpg图片格式转为pgm格式