major improvements of the UI for displaying the counterexample + major code cleanings in CProver UI
Merge remote-tracking branch 'origin/master'