add more coq/ symlinks to .gitignore