Fix td3.json and td4 json config files#12

jerhard merged 3 commits intomastergoblint/bench:masterfrom

fix_json_configsgoblint/bench:fix_json_configsCopy head branch name to clipboard