rename CharString -> UTF32String (fix #4943)
Merge pull request #4946 from stevengj/utf32

rename CharString -> UTF32String (fix #4943)