Data.String: add split_by_displaywidth() and padding_by_displaywidth()