rest of PuTTY has of DNS resolution, so I've replaced them with something
more conventional. Sorry.
The new code has the advantage of working, of course.
[originally from svn r2551]
and to convert to a string only on demand. This makes it possible to have
the string contain the error number if we don't recognise it.
[originally from svn r2548]