Update LogicNG + LogicNG parser to v2.5.1

[maxkratz]

• GitHub release LogicNG: https://github.com/logic-ng/LogicNG/releases/tag/v2.5.1
• GitHub release LogicNG parser j8: https://github.com/logic-ng/parser/releases/tag/v2.5.1-j8