Get rid of _CoqProject by default

The currently included _CoqProject file is a hack and always missing some things, and does not interface well at all with dune's compositionality. Coq interfaces should add better support for dune projects. Until all Coq interfaces provide good support, we could try to add a make coqproject target that generates a sensible _CoqProject file.