WyC: updated compiler to support brief output mode.  This is primarily intended to be used by WhileyWeb.
WyBS: unknown change on the plane!!