Introduce isl_int_free_str to remove GMP dependency in isl_int interface