Switch to Huffman encoding

Huffman encoding is within 1% of range coding, but much faster. Update
documentation.