PDFtotext: Reliable PDF Text Extraction MCP Server