greentest/util.py: better timeout detection