Data.String: add split_by_displaywidth and padding_by_displaywidth