isl_schedule: explicitly keep track of isl_ctx