Merge from origin
Major changes!

FIXED ERROR with KNF, DNF and PARSER;
Implemented Jegalkin Polynomial converter
Fixed error with constants in parser
Merge remote-tracking branch 'origin/sem' into edik

Conflicts:
	src/com/danilov/bool4j/test/Test5.java
	src/com/danilov/converter/JPolynomConverter.java
	src/ru/matlog/bool4j/closures/ClosureClasses.java