Move to-be-processed.txt to github wiki

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