Disable building minisat prover when using MSVC.

Minisat Prover contains code that depends on unistd.h which is not
available when building with MSVC.