big improvement in the UI of the CBMC counterexample (adding a text filter + resizing the pane)
Merge remote-tracking branch 'origin/master'