Include comments in EquationPath, WGraph and at.logic.skeptik.proof.sequent.lk.congruence, rename EquationTree to EquationPath

remove allEqs method from EquationPath