A sample GSSAPI client, with example server