Removed HermiT.  Now available on Central.

No longer need to store this in our GitHub repository as the author now
makes this available on Maven Central.