gitignore: ignore PDFs, try to prevent that from happening again