added PDF files to gitignore
introduction and natural deduction intro