Overriding Kerberos parameters

I've for some reason been sitting on this patch for a while, it was
supposed to be a part of the pg_hba changes from a few months ago.

Anyway. Here's a patch that makes it possible to set krb_realm and
krb_server_hostname on a per-hba-row basis, instead of just for the
whole server.

Comments?

//Magnus