Fix up gssapi_ext.h Doxygen markup somewhat