Colorize compilation buffers out-of-the-box
Remove a couple of kill-related advices

Those are made redundant by the awesome easy-kill.
annotate TODO in comments
Merge pull request #516 from gongzhitaao/prelude-annotate-todo

annotate TODO only in comments
Pull in upstream changes