Move to-be-processed.txt to github wiki
Merge pull request #574 from kframework/ktest-issue-533

Move to-be-processed.txt to github wiki