Install krb5-config man page

Don't just build it.

ticket: 7601