Plugging console highlighting in for toplevel and compilation error messages.