save(lp) : reid factorization works, but there is numerical instability

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
save(lp) : adding more tests, fixing a bug in the preprocessor, setting a limit on the number of iterations of the core solver

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>