isl_ast_build.c: use isl_int_gcdext instead of open-coded version