Small scripting cleanups

- Add a unified runner script for DIS
- Remove explicit case study termination script
  (do `kill ${cat pids.txt}` instead)
- Auto-create bin directories for TACLe
- Add the python cache directory to the gitignore
- Tweak input path representation in benchmark name files

1 files changed, 0 insertions, 5 deletions

diff --git a/kill.py b/kill.py
deleted file mode 100644
index acb236e..0000000
--- a/kill.py
+++ /dev/null
@@ -1,5 +0,0 @@
-import os
-
-with open("./pids.txt", "r") as f:
-    for line in f:
-        os.system("sudo kill " + line)