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