pgsql: doc: Update links which returned 404

doc: Update links which returned 404

Two links in the isn module documentation were pointing to tools
which had been moved, resulting in 404 error responses. Update
to the new URLs for the tools. The link to the Sequoia 2000 page
in the history section was no longer working, and since the page
is no longer available online update our link to point at the
paper instead which is on a stable URL.

These links exist in all versions of the documentation so backpatch
to all supported branches.

Author: Daniel Gustafsson <daniel(at)yesql(dot)se>
Reported-by: charukiewicz(at)protonmail(dot)com
Discussion: https://postgr.es/m/173679670185.705.8565555804465055355@wrigleys.postgresql.org
Backpatch-through: 13

Branch
------
REL_17_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/32770ea03247bc42b38ccc53b84711e0c13d1498

Modified Files
--------------
doc/src/sgml/biblio.sgml | 18 ++++++++++++++++++
doc/src/sgml/history.sgml | 5 ++---
doc/src/sgml/isn.sgml | 4 ++--
3 files changed, 22 insertions(+), 5 deletions(-)