OCaml package documentation

1. gillian
2. gillian-c
3. gillian-js
4. kanillian
5. wisl