python-engine: Kill spawnee on ctrl-c