A text file compressor