Merge pull request #1231 from johntconklin/master

Pass --with/--without-libgssapi_krb5 to configure.