save(lp): switching to static_matrix in m_A of lp_revised_solver

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
save(lp): in the middle of getting rid of sparse_matrix

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