Integrate Yices build process into OCamlYices