Add "k-branching" on lambda variables.

Also:
- fix bug where lambda variables were not declared binary
if not extended
- add name to variables in Cplex pricing subproblems
- add option to write pricing subproblems to file