This beta version contains some very simple refinements of the core ILP.

- Fixes wlog the first taxon to state 1
- The ILP maximizes T_1 - T_2, so we can assume without loss of generality
that for each cherry {x_1, x_2} in T_2, x_1 and x_2 both receive the
same state.

20 feb 2015