Local changes left by Leo on tama.cs.unc.edu. Committing these
before deleting his home directory.

For future researchers doing reproduction work, the machine used
was based around an AMD 3950X running the LITMUS-RT version of
Linux 5.4 (specifically, commit e08aa058 aka. the rtas21-ae branch
of LITMUS-RT developed by Joshua Bakita and on GitHub).

- 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`.