Adds utility for fixing CTRL-C on Windows (fixes issue #100).

This is a squashed version of pull request #555.