simplistic logs added
detailed logging of progress on knowl generalization
replaced generalize_knowledge with another implementation that does not need the DB. For the first round, when actually DB access is needed, code was put on start() method
asserting that the correct kinds are used when creating new evidences, and showing kinds when printing facts
removed asserts
Merge branch 'i8-reduce-memory-and-cpu-consumption-on-generalize-knowledge' into develop