Make git ignore PDF files