[ADMIN] GMP server now hopefully stable

[Torbjörn Granlund]

Both last week-end and this week-end the services of gmplib.org have
been down.  The reason for this is a major re-installation of the
system, moving from NetBSD to Gentoo GNU/Linux as the virtualisation
host.  Prior to this upgrade the system crashed several times per day,
presumably due to NetBSD bugs.

-- 
Torbjörn
Please encrypt, key id 0xC8601622