Externalize krb5-config path to a variable

Sometimes it is necessary to reference a `krb5-config` which is either not in `PATH` or is a custom installation. Instead of fiddling with `*FLAGS` one has to change one var only.