We set the error mode in the why3 server. This has two effects:
- disable pop-ups in case of crashes of why3server;
- inherit this setting to all spawned prover processes.

* server-win.c
(main): call SetErrorMode

Change-Id: I93862d51aebe1d4639ab1d463c08366f79375a7a