OCaml package documentation

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