OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched