Add option to use mini-gmp in hogweed.
doc update for mini-gmp