Removing friend classes
Header for CNF had wrong number of variables

Again, the same mistake, nVars() vs nVarsReal(). I have *got* to hide
nVars() from most functions or they will always call the wrong one.

Thanks to Martin Maurer for reporting this!

Fixes #109