Fix location of CryptoMinisat4.h header file

(Was broken after a refactoring, see issue #131)