Clean up... since the huffman code works for UTF-8 now, we can
eliminate the UTF8/ISO-8859-1 distinction in the String Type Codec. We
just assume it's going to be UTF-8 and go from there.