- 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

SD-VBS:
- Run silently
- Fix some whitespace errors
- Don't duplicate extra.h
- Auto-detect if building with LITMUS-RT
- Disable result checking
- Add helper symlinks
Misc:
- Remove unused code from libextra
- Set some missing rt_param fields in libextra
- Disable CSV info dump from computeSMTslowdown.sh
- Widen scope of .gitignore on .txt files
- Include list of 2MB DIS pair benchmarks and inputs

Includes the SD-VBS benchmarks modified to:
- Use libextra to loop as realtime jobs
- Preallocate memory before starting their main computation
- Accept input via stdin instead of via argc

Does not include the SD-VBS matlab code.

Fixes libextra execution in LITMUS^RT.

DANGER! There's an inconsistency in the input files used for the
all-pairs tests and those used for the baseline tests.

Baselines: run_all_dis.sh calls run_dis.sh to do all baselines.
All-pairs: Uses old TACLe script (not included here).
Cache allocation 2nd-order effects on SMT friendliness: run_pair_convexity.sh

These are compatible with the outputs of all the DIS stressmarks
as instumented with `extra.h`.