updated mini-gmp
Add option to use mini-gmp in hogweed.
doc update for mini-gmp
Added auto-generated nettle-config.h

This file contains nettle compile time constants, such as
USE_MINI_GMP. That can be used by nettle headers or applications.