WIP Use coq
Generate the symlinks in configure again

I don't see any other way to permit the use of either the bundled coq,
or a system one; we might not have the version of OCaml used to compile
the system Coq.