OCaml package documentation

1. binsec_codex
2. codex
3. frama-c-codex