Add counterexample viewer
Merge branch 'master' into functions

Conflicts:
	jkind-common/src/jkind/results/Counterexample.java