Much cleaner cryptominisat.cpp

Using forward-declared struct in cryptominisat.h. The size of CMSat has
not changed, but cryptominisat.cpp got substantially nicer to use