Remove TODO.txt; everything has been moved to github issues (and almost
everything in it was already done).