Some other Kerberos vendors uses a KRB5_CONFIG environment variable to point out where the krb5.conf file is. This is especially useful on Windows because there are no well-known default krb5.conf path name there.

We should support it, right after the java.security.krb5.conf check.