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

Renamed `pdfModel` to `pdfDocument` to let the name closer resemble what the
variable actually holds. Function `ensureModel` renamed accordingly to `ensureDoc`.