Better .gitignore

Ignores PDFs now.