save(lp): introducing col_struct

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
save(lp): introducing col_struct

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