pgsql: Do pre-release housekeeping on catalog data.

Do pre-release housekeeping on catalog data.

Run renumber_oids.pl to move high-numbered OIDs down, as per pre-beta
tasks specified by RELEASE_CHANGES.  For reference, the command was
./renumber_oids.pl --first-mapped-oid=8000 --target-oid=5032

Also run reformat_dat_file.pl while I'm here.

Renumbering recently-added types changed some results in the opr_sanity
test.  To make those a bit easier to eyeball-verify, change the queries
to show regtype not just bare type OIDs.  (I think we didn't have
regtype when these queries were written.)

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/7b48f1b490978a8abca61e9a9380f8de2a56f266

Modified Files
--------------
src/include/catalog/catversion.h         |   2 +-
src/include/catalog/pg_amop.dat          |   5 +-
src/include/catalog/pg_operator.dat      |  18 ++---
src/include/catalog/pg_opfamily.dat      |   4 +-
src/include/catalog/pg_proc.dat          | 122 +++++++++++++++----------------
src/include/catalog/pg_type.dat          |  20 ++---
src/test/regress/expected/opr_sanity.out |  80 ++++++++++----------
src/test/regress/sql/opr_sanity.sql      |  18 ++---
8 files changed, 134 insertions(+), 135 deletions(-)