pgindent completed

I have finished pgindent.  We also had many old comments of the format:
/* ------        * comment        * ------        */

These are now the more concise:
/*        * comment        */

Also, comments with dashes are not wrapped nicely by pgindent.  Some
comments need dashes to preserver layout, but many did not need them.  I
ran pgindent to re-wrap those.

--  Bruce Momjian                        |  http://candle.pha.pa.us pgman@candle.pha.pa.us               |  (610)
853-3000+  If your life is a hard drive,     |  830 Blythe Avenue +  Christ can be your backup.        |  Drexel Hill,
Pennsylvania19026