Read GSSAPI related options from SSH config