Timeout decorator for Python