iscc.c: use isl_stream_get_ctx instead of reading ctx field of isl_stream