SERVER-11770 Support setting the gssapiServiceName in mongo* tools.