Add support for UTF-8 text.  Ugh.

An arguably better fix would be a way to specify character codes in
text, perhaps something like <10a><10b><1e0b>?  The _right_ fix, of
course, is just plain >=16-bit chars.