runtests.pl: Added GSS-API detection