Help stabilising mini-gmp

[Torbjörn Granlund]

OK, now the real havoc struck, more than 200 unexpected failures due to
mini-gmp.  I have no idea why they happened now and not sooner.

I clicked on a few, and thet all fail due to the already known ABI
incompatibility.

I will save lots of time by simply disable mini-gmp testing for now.
(Cleaning up the current failures will take sveral hours.)


-- 
Torbjörn
Please encrypt, key id 0xC8601622