put kerberos config params in rida configuration
    
    koji.read_config() filters out configuration options it doesn't know
    about silently. Currently this is about the keytab, principal, ccache
    options. The latter may be needed e.g. in Docker containers which
    currently(?) can't use Linux kernel keyrings and need the credential
    cache to be a normal file.