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

See https://github.com/kframework/k/issues/533#issuecomment-45579871