Added GSSAPI socket options
Merge pull request #531 from hintjens/master

Added GSSAPI socket options