minor improvements
hooks for CNF
cli flag to disable ordering generation in hysteresis
more abtract requirement for Clause index (feature vector...)
Merge branch 'dev', with bugfixes and API change for Index.ClauseIndex