update isl for rename of isl_dim to isl_space