Ignore coq object files and files generated by coq_makefile.