isl_solve_lp: use tableaus instead of calling piplib (by default)