Don't use signal.pause to pause the main thread

Use the a high timeout on the stop event in an infinite loop and then check
if the event is set. We can't use None as the timeout because otherwise all
threads will be blocked.