adding Eclipse viewing of counterexamples
Merge pull request #8 from lgwagner/master

adding Eclipse viewing of counterexamples