Add Hermit reasoner jar into the ivy.xml
Added informatic's third party jar location to the ivysettings.xml