v1.2.0: Branching capability extensions and some fixes

Added lower bound support for the LP model and changed the default solver to GLOP.
Reorganized some internal codes in the branch-and-bound classes.
Added priority queue based B&B.
Added new, class-based way to define branching logic.