WyC: added new test cases and output.
Merge branch 'master' of github.com:DavePearce/Whiley
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.