Have configure take arguments telling it where gmp is; fixes trac #957