processing text files: which tools?