bug#10519: guile and (mini-)gmp

[Mark H Weaver]

FYI, I've pushed patches to Guile's git repository (stable-2.0 branch)
which eliminate the known obstacles to mini-gmp integration.

     Mark