UTF8 mods, including a new UTF8 module in mosmllib, and a change to the pretty-printer to deal with multi-byte strings.