save(lp): introducing sparse_vector and using it in the lower eta class - speeding up 3 times

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