Extend krb5_cc_ops and add set_default to set the default cc name for