Allow selection of counter-example

[mmarx]

Currently, the counter-example used on rejection is always the first one in the list. Allow selecting the count-example by hand (and, especially, also allow searching for a counter-example that does not happen to be on the short list), and adding a counter-example should there not exist one (we don't try to implement an editor, though, preparing a QuickStatements batch should be sufficient).