gImageReader, una aplicación para PDF con capacidad de OCR