Remove remove_double_neg() from cnf().

Double negations are taken care of by nnf() and cnf_do() does not introduce any
new negations, so remove_double_neg() is utterly useless.