configure: replace --with-gmp-{include,library} with --with-gmp-{,exec-}prefix