runtests.pl: Added Kerberos detection