Added basic profiling for various stages of branch and bound.
Added logging for cut callbacks and started logging on variable
branching.

Identified problem with adding constraints inside lazy callback, not yet
solved.