Subject: [PATCHES] New INSTALL file.

I have created a much more comprehensive version of the
/usr/src/pgsql/INSTALL file.  It should replace the current 970428 version
of this file.