Fix stale references to github.com/OCamlPro and update doc