Windows Builds with MSVC

Changes required to get KodKod to build on Windows with MSVC.
Fixes #57