Move TODO section to GitHub issue tracker

All new feature requests and bugs should be placed on the issue tracker,
not in the source file.