Add parameter krb_realm used by GSSAPI, SSPI and Kerberos

to validate the realm of the connecting user. By default
it's empty meaning no verification, which is the way
Kerberos authentication has traditionally worked in
PostgreSQL.