Added option to use mini-gmp in hogweed.