Help stabilising mini-gmp

[Torbjörn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  On Sun, 20 Nov 2016, Niels Möller wrote:
  
  > It would make sense to test both gmp and mini-gmp with
  > -fsanitize=undefined.
  
  If we are not already doing it, yes, I highly recommend it.

It is now running for ivydeb64v9 and ivydeb32v9.

Two errors were triggered for the former, one in mini-gmp (presumably
fixed by nisse) and one on cxx/t-ops2z.  Please take a look, glisse.

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