Data.String: add split_by_displaywidth and padding_by_displaywidth

まだ未完成です。とりあえずプルリクしています。
#224 がマージ出来たらマージしたい。