Auto-push ocamldoc though travis.
fix core detection and interface.