a text file compression tool based on huffman encoding