Add gmp source tarball sha256sum