A python timeout decorator
