Issue #12540: Prevent zombie IDLE processes on Windows due to changes

in os.kill().  Original patch by Eli Bendersky.