[OCaml] Add various functions for terminator and branch instructions.
[OCaml] Add utilities functions related to terminator and branches.
[OCaml] Expose some documentation in ocamldoc.
Use ConstantFP::getDoubleValue in ConstantFolding.