compile the coq configuration into myocamlbuild.

- Also, add list_of