diagnostics now print source lines

The DiagnosticFormatterConsole now prints the ranges associated with a
diagnostic message, highlighting the necessary ranges. Looks pretty good and
makes reading error messages very straightforward.