SGTools: Better diagnostic for hash collision.

Scott Snyderrequested to merge
ssnyder/athena:collision1.SGTools-20200826 into master

If we get a hash collision in StringPool, raise an exception rather than calling abort().

Merge request reports