Unicode support cleanup#868

Merged

kroening merged 2 commits intodiffblue:masterfrom

forejtv:feature/unicode-cleanup

Apr 27, 2017

Commits on Apr 25, 2017

Remove an unused conversion function that is broken anyway, and tidy utf32 to utf8.
forejtv
committed
Change utf8 to utf16 conversion to not require codecvt.
forejtv
committed