update godi-ocaml-manual