Add a _CoqProject file. This is recognized by emacs, can be used by coq_makefile and I think also by CoqIDE.