Delete TODO.txt

A TODO-list is more useful in the wiki of this repo.