gevent/threading.py: add _Thread_stop() to _DummyThread