Update .gitignore

Not ignoring the .pdf files makes merging/rebasing difficult (since git will always fail to merge them --- I mean .. they're .pdfs!)