OCaml package documentation

1. funarith dev
2. funarith.zarith dev