[ocaml] implement JSON/YAML of constraint & action; refactor Makefile; add "csfp" for darwin; delete "csf" binaries