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
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/ee4667f0184d87a2e58822e6a9edad563fa164fd

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(-)