update isl for isl_*_eval returning an isl_val instead of an isl_qpolynomial