Exclude PDF files from GitHub

No need to keep version control of PDF files as long as the TeX files
are there.