Add isl_printer_get_ctx()