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

Move to-be-processed.txt to github wiki -- unified-builtin2