Remove TODO.hs?

[adithyaov]

It's confusing to use both, TODO.hs, and the issue tracker. We can just use the tag to separate the TODO stuff.