CVE-2020-25717: tests/krb5: Add method to automatically obtain server credentials