new timer, but need to set in setting.json file, need to be upgraded into parameters

lib_run_single.py

@@ -1,11 +1,17 @@
 import os
 import datetime
 import json
-from wrapt_timeout_decorator import *
 import logging
+from wrapt_timeout_decorator import *
 logger = logging.getLogger("desktopenv.experiment")
 
-@timeout(60, use_signals=False)
+# Open the JSON file
+with open("./settings.json", "r") as file:
+    # Load the JSON data from the file
+    data = json.load(file)
+time_limit = data["time_limit"]
+
+@timeout(time_limit, use_signals=False)
 def run_single_example(agent, env, example, max_steps, instruction, args, example_result_dir, scores):
     agent.reset()
     obs = env.reset(task_config=example)