isl_mat: keep track of isl_ctx