save(lp): experimenting with sparse_matrix - elementary tests pass

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