Add ability to generate counterexamples
Add ability to generate counterexamples

This adds the ability to specify that counterexamples should be
generated on the command-line using the "--counterexamples" switch.
This is a very experimental feature based on the (not yet released)
Interpreter feature in WyTP.

Whiley/WhileyCompiler