[CM] Unicode support

[bil at ccrma.Stanford.EDU]

Currently you need to do the unicode encoding of the
bytes by hand, and send them to the terminal:
(format *stderr* (string #\xe2 #\x96 #\xa0))