An OS X GUI wrapper for pdftotext