[Python-ideas] Should stdlib provide something to properly handle SIGINT/SIGTERM signals?