在Python中以正常形式将字符串编码为游程长度形式的程序