testing status of GMP (5.0.1)

[Zimmermann Paul]

       Hi,

on http://gmplib.org/devel/testmachines.shtml only ABI=1.0 is tested for
hppa2.0-unknown-linux-gnu, whereas all three ABIs (1.0, 2.0n and 2.0w)
are tested on hppa2.0w-hp-hpux11.11.

On hppa2.0-unknown-linux-gnu, the default ABI is 2.0n, and several tests
fail (on dingo.fsffrance.org, tested with GCC 4.4.1). It would be good that
the default ABI is tested too, and/or change the default ABI under
hppa2.0-unknown-linux-gnu to 1.0.

Paul