Add krb5_cc_select() API and pluggable interface