WyBS: Updated brief-mode error reporting. This is to allow Whiley play to better report multi-line errors.  Previously, such errors were causing some confusion within Whiley play and leading to confusing error messages.
WyBS: Updated brief-mode error reporting.
This is to allow Whiley play to better report multi-line errors.  Previously, such errors were causing some confusion within Whiley play and leading to confusing error messages.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler