privat/nit — pull request #452 by privat (2014-05-09 22:39:17+00:00)
Title: sepcomp: do not colorize dead method by default

Thanks to the fix of #375, this optimization is the new default if RTA
is available.