Github copy of hermit reasoner svn repo