Add some scribbles to TODO
Fix a bunch of bugs related to theorem provers forgetting what they have done
Don't use cnf by default (makes SPASS crash)
Merge commit '19cd916e86d0d9dde5fbfaeeb336575c757d9671'