Added option to use mini-gmp in hogweed.
Include local macros in nettle.m4 to allow regeneration.