Remove isl_ctx parameter from IslPTXGenerator constructor.