Rename minisat prover's *.C files to *.cc

MSVC recognizes *.C to be a regular C file instead of C++.
Expand UINT_PTR etc. to their definitions.

These aren't defined by the headers included by Global.h
Use different compiler options for MSVC.