13.01.12_1

+Renamed HilbertIncludes to HilbertDefines
+Added FormulaSetHashed
+Added Algorithm 0x01
+FormulaGenerator N limit
+Improvements in Algorithm0x02 & AlgorithmBase
+Algorithm0x02 now works without ppl.h -> without parallel functions
+ImplicationFormula refactor: operations in constructor moved to
separate functions
+AFormulaTable now adds FalseFormula
+Replaces are normalized in FormulaWrapper's AddReplaces
+FormulaSets' Add functions code duplication is reduced
+DELETE macro is used instead of delete
+Small fixes

-Removed unification count in class Stat