[krbdev.mit.edu #1381] hostnames in config files

[Ken Raeburn via RT]

We should probably add trailing dots to the hostnames in krb5.conf.
And anywhere in the code where we construct hostnames, like
"kerberos."+realmname.