A simple pdf text extractor