Update waf to version 1.7.16

The previous version of waf seemed to have some issues with finding the
JNI libraries when using Visual Studio 2013.
Update the gitignore to ignore files on windows.
Pass MSVC different compiler options.
Update the compiler flags for glucose with MSVC.
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.
Properly set java.library.path on Windows.
Add *.swp to the gitignore.
Determine enabled solvers during configure step.

Originally this was done during the initial parse of the wscript file, by
moving this into the configure step we can disable solvers that cannot be
built in the current environment based on e.g. the compiler being used.
Disable building minisat prover when using MSVC.

Minisat Prover contains code that depends on unistd.h which is not
available when building with MSVC.
Enable cryptominisat to be built with MSVC.
Use /W4 instead of /Wall when using MSVC.

/Wall is very noisy.
Remove unnecessary print statement.
Add a --skip-tests flag to skip tests during `all`.
Download dependencies using urllib2.

We used to shell out to `curl` to download dependencies.
Check hashes on files downloaded with waf deps.
Move the ENABLED_SOLVER settings out of the method.

In response to code review feedback. Also add notes on why certain solvers
are disabled under MSVC.
Fix alignment of int* typedefs.
Merge pull request #59 from TeamAmalgam/windows-builds-with-msvc

Windows Builds with MSVC