Adding coq-specific gitignore