configure: export mp_ symbols when compiling with mini-gmp

This addresses build issue when compiling with --enable-mini-gmp
and the symbol script being used.