Update .gitignore

And now again ignores PDF to avoid long push times