tests/krb5: Allow get_tgt() to specify different kdc-options