SCRDEST: Verb to destroy scratch files left by bombed tasks.
Use: SCRDEST will destroy all cataloged scratch files
associated with tasks which are not now running. It will
work only for those tasks whose scratch files appear in
the catalogue (INTYPE='SC').