Make krb_realm and krb_server_hostname be pg_hba options only, and remove

Magnus Hagander <magnus@hagander.net>

Commit: 1b4e729eaa97b6169e08abc70e84709cea2cd00a
Author: Magnus Hagander <magnus@hagander.net>
Date: 2009-01-09T10:13:19Z
Releases: 8.4.0
Make krb_realm and krb_server_hostname be pg_hba options only, and remove
their GUCs.

In passing, noted that the pg_hba options for krb5 authentication weren't
listed at all - so add this.

Files