doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmp