Deploying HermiT 1.3.8 to our GitHub Maven repository