Changes in .gitignore to exclude some .PDF files and documentation