adding Eclipse viewing of counterexamples

This will give you CEX viewing in Eclipse