adapt .gitignore (to track pdf diagram files) and add *pdf diagrams