Read variable bounds before other segments

This enables constructing problems more efficiently. For example, <var> != 0 can be replaced with <var> if the latter is a binary variable.
Implement LocalSolver connection