Independent build system for the Coq library, now located in OCaml/ and split in different files