Modifications for compilation in Windows (without Zlib)

These are the modifications I had to make to make minisat compile in Windows.