Deploying HermiT 1.3.7 to our GitHub Maven repository