Update in-tree GMP to version 5.0.4

This is mostly a proof of concept for updating the in-tree GMP via patch files
(and therefore w/o introducing new blobs into the Git history).

NOTE: The updated GMP 5.0.4 version is only used by the integer-gmp2 backend.