Don't try to highlight a compilation error in a REPL buffer

Since the stacktraces from the REPL have no usable line numbers
we should not attempt to highlight compilation errors at all when
an error originated from the REPL.