Configure our docker dev setup to use krb for koji.
    
    Our code in `module_build_service/builder.py` can already do kerberos
    authentication with koji.  This commit changes our docker development
    tools to use that instead of ssl authentication.
    
    Relates to #111.