A simple PDF text extractor