mini-gmp

[paul zimmermann]

       Dear Niels,

> Nice, thanks for the update. 
> 
> I'd still recommend to have mini-gmp.[ch] bundled with mpfr and let the
> configure flag --enable-mini-gmp set everything up to use it, but that's
> your call, of course.
> 
> Should make it easier to reach the goal of being able to build gcc using
> mini-gmp for its modest bignum needs.

we might consider this if we get a lot of user feedback for mpfr with mini-gmp.

Paul