Do not use libgmp automatically in libsecp256k1
Merge pull request #5531