refactor src/core/pdf_manager.js: rename pdfModel to pdfDocument

Fix #4480, only changes in src/core/worker.js below line 296 are new. It's amazing that all tests didn't find this error?!