Use TEIID/hostname as default kerberos service name
Merge pull request #347 from cristianonicolai/gssapi

TEIID-3180: Use TEIID/hostname as default kerberos service name