isl_union_map.c: update documentation