save(lp): working on mps reader and general solver

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