Changes to integer-gmp(2)

Changes to integer-gmp:
commit 626b563addba0b164fb738cf98f17504dd3f62bc
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Oct 24 14:50:50 2013 +0200

    Refactor & modernize `.cabal` to `cabal-version>=1.10`

    This sets a sensible cabal category (i.e. `Numerical`), extends
    `extra-tmp-{files,files}` to make this package self-contained, updates
    the bug-report URL, and cleans up the `{-# LANGUAGE #-}` pragma usage in
    the source code.

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

commit 9793630f224a2a6488639d8a8152321084c5b8a1
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Oct 24 14:42:36 2013 +0200

    Add aux files `config.{guess,sub}` and `install-sh`

    These files are taken from GNU automake 1.13.3

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