Improve multi-line code message rendering

[odersky]

Improve rendering of messages with multi-line code positions, in two ways:

• Add a blank line between the error message proper and the code lines that follow it.
• If there are more than 3 code lines following it, summarize them by printing the first and last line and a ... in between.