Update krb5.conf manpage for new kdc syntax