Improve the documentation for OpamHeuristic
Update HTML doc for OpamHeuristic