Don't include pdfs in source tree

[julian-upc]

Since git remembers each and every version of each and every file you ever commit, you accumulate a quadratic amount of data if you keep track of the pdfs. Best to put *pdf into the .gitignore, and let the user build the pdf if she needs to.