Add reasoner gui jar