cuda.c: print_kernel_vars: take isl_printer instead of FILE