Force incremental linking to be off for MSVC. Whilst I'm here copy the stacksize flag used in the Python building system.
Force incremental linking to be off for MSVC. Whilst I'm here copy
the stacksize flag used in the Python building system.

This was an effort to try and stop the Visual Studio build from emitting
the error message

```
70>LINK : fatal error LNK1104: cannot open file
'C:\Users\dan\dev\z3-1\build_console\Debug\z3.ilk'
```

Unfortunately this has not fixed the issue.

mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3