Generate the [_CoqProject] file.

This allows centralizing the configuration for the coq_makefile and dune builds. The configuration is done in files config/*.

This subsumes !601 (closed).

I have not updated any documentation yet, I'd like to see what you guys think first @jung @robbertkrebbers.