Fixing warnings in CryptoMiniSat

Thanks to Stephen McCamant for spotting these