Remove doc/TODO*
We no longer seem to use or even look at doc/TODO in Tor; we've transitioned more or less completely to trac. All that remains to do is see if there are more entries there which we should turn into tickets, and then remove them from master.