Re-introduce pinyin-length as additional sort criteria (short first)

Because longer words can always be selected by typing more letters.