A small utility that can search and eliminate doubled lines in textfiles