Fix CryptoMinisat4 header include. This was broken by the recent refactor and wasn't caught because Travis isn't currently testing this configuration.
Fix CryptoMinisat4 header include. This was broken by the recent
refactor and wasn't caught because Travis isn't currently testing
this configuration.

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp