isl_polynomial.c: separate out fold functionality to isl_fold.c