Changes to integer-gmp

Changes to integer-gmp:
commit 13b4d0cdd18471de33ba89bda11a4b238507b7c7
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Sat Jan 11 00:51:29 2014 +0100

    Drop redundant formal parameter from TAKE1_UL1_RET2

    This fixes the actual cause for #8661, i.e. a mismatch between the
    actual arity of the Cmm implementation and the arity declared in the
    foreign import statement.

    This also reverts [a3878d17/integer-gmp] as the workaround isn't needed
    anymore.

    Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>