isl_basic_map_from_constraint_matrices: (simplify and) finalize result