Add SourceSpan.highlight(). (dart-lang/source_span#10) This is useful for constructing a message with a non-standard file/line/column display.