* configure.ac: Bump minimum GMP version to 4.2.3.