Add ocamlbuild's black-magic runes to get prettier documentation
Add examples inside the mli

And also re-organise a little bit the docs