Fix CryptoMinisat4 header include. This was broken by the recent
refactor and wasn't caught because Travis isn't currently testing
this configuration.
Merge branch 'master' of https://github.com/stp/stp