configure: allow krb5 flags to be overridden

If krb5-config is not present, there is no way to pass the krb5 flags to
configure. This change allows the user to pass the proper flags.