Todo highlighting

Makes TODO blocks (such as "// TODO:") bold.

Maybe a controversial change, but TODO highlighting is something me and other people seem interested in. I chose bold instead of changing the color for the sake of simplicity, but I'm open to other ways of handling the highlighting.