Update to-be-processed.txt: writing ktest's automatic output generation
Merge pull request #411 from kframework/ktest-issue-391

Update to-be-processed.txt: writing ktest's automatic output generation