PG_COLOR not mentioned in docs of vacuumlo, oid2name and pgbench - Mailing list pgsql-hackers

Hi all,

All the tools mentioned in $subject have been switched recently to use
the central logging infrastructure, which means that they have gained
coloring output.  However we (mostly I) forgot to update the docs.

Attached is a patch to fix this issue.  Please let me know if there
are comments and/or objections.

Thanks,
--
Michael