Improve span highlighting

* Fully highlights multiline spans.
* Includes line numbers.
* Uses Unicode glyphs for highlighting when available.
* Includes context after the last line of the span for a
  manually-constructed SourceSpanWithContext.

This draws heavy inspiration from Rust's multiline error highlighting.