Free util for converting pdf to text file, with encoding selection