Changes to directory integer-gmp process

Changes to directory:
commit ffb19f5c42fbe3c9c901485d01a3fa07765f0795
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Oct 24 21:37:41 2013 +0200

    Don't include `HsDirectoryConfig.h` in source distribution

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

Changes to integer-gmp:
commit ed55293ba922c1e5279a10ebc83ca3570909c5be
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Oct 24 22:13:15 2013 +0200

    Add overlooked files created by `configure` to `extra-tmp-files`

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

Changes to process:
commit ed1cf61a397d65dbd8c43cef159bb419fd146181
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Oct 24 21:31:42 2013 +0200

    Don't include `HsProcessConfig.h` in source distribution

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