Remove antiquated scripts

These scripts were just old cruft from ancient LITMUS^RT versions.
Best to get rid of them.