Add search to VisB in ProB2-UI

[cobizobi]

For some visualisations it would be useful to be able to search for text in VisB. I have tried something like

searchBar.textProperty().addListener((o, from, to) -> {
    // find(aString, aCaseSensitive, aBackwards, aWrapAround, aWholeWord, aSearchInFrames, aShowDialog)
    this.getJSWindow().call("find", to, false, false, true, false, false, false);
});

in VisBView, but it did not work reliably.