please update web page www.d.o/ports/ia64/

Hi folks,

it would be nice if you could update the ports web page for ia64.

https://www.debian.org/ports/ia64/
links to two HP url which do not provide any useful information.
There's no link to the installer ISO which may be usefull for our
users.
The web page https://www.debian.org/ports/ia64/news is very old and
outdated and all links to gluck.debian.org do not work any more. Maybe
just remove this "News" from 2001-2003.

If there's a more up-to-date wiki page for this port, we should just
link to this page.