isl_tab_lexmin_add_eq: make sure the tableau has enough room