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.
maybe rename to `allow_interrupt`?