Draft implementation of CTRL-C fix for Win32.

Fixes issue #100.

This is a preliminary pull request to generate discussion.  Proper integration in documentation to be refined, testing on Linux/etc. TBD.
it's a good idea to have the same argument name, so that it still works if people decide to pass by keyword