configure.ac: allow specification of gmp location