Further fixes to 32b clause sizes
Moving to a clean header cryptominisat.h

This currently breaks clean Ctrl+C but it provides a much-much
cleaner interface for library users. The clean Ctrl+C will be fixed soon