add more coq/ symlinks to .gitignore
./autogen.sh