Changed place of printing activesyms
Merge branch 'opt-heuristics' of https://github.com/ElessarWebb/minisat-SPFS into opt-heuristics