isl_val_gcdext: revert to open-coded version of isl_int_gcdext