Add coq git ignore