Include pdf files in the git repo.

These were previously ignored, but I think it's easier
for people to read the papers if they can get the pdf
directly from github.