rename isl_basic_map_convex_hull to isl_basic_map_remove_redundancies