Delete TODO.md

All these things have been moved to Github Issues, as should have been the case in the first place.