Add OCamlPro in left menu.