Remove out-dated scripts.
Merge pull request #105 from runtimeverification/removescripts

Remove out-dated scripts.