New rete engine
* Alpha nodes are shared between different rules
* No seperate alpha node memory (use existing Abox index)
* Handle builtins inside rete withoout creating new branches
* Rete engine productions and on-the-fly tableau rules work together
Index beta memory improving speed significantly
Succint log formatter
Option to ignore imports
Merge branch 'rete'
Use the correct dependency set for the RuleBranch assertions
Remove test artifact from git repo
An option to fix the schema for a reasoner so adding/removing instance data does not trigger reclassification