Fixing --debug deleting temporary files.
Merge pull request #1107 from kframework/keepTempFiles

Fixing --debug deleting temporary files.