dimacs fixes

 * (or a b) now produces right dimacs
 * dimacs clauses are sets now
 * (and (not a) a) now produces correct dimacs
 * logelei-2 works now