Remove docs/todo.txt.

All issues (although rather unintelligible) were moved to the GitHub
Issue Tracker.