#193 Search implementation for InfoViewer plugin

[millo74x]

Hi Alan,
I've worked to implement plugin InfoViewer, adding SEARCH feature that is historically missing!
on my local version of jedit 5.7.0 it works well!
in infoviewer option-pane now you got new section "SEARCH" with 2 options (RGB colors of occurrences found and of active selected occurrence).
when you open InfoViewer/HelpViewer popup, with CTRL+F you can search occurrence in the content below; then F3 and Shift+F3 to move fwd and bkwd to all occurrences.
hope to have build patch file correctly; otherwise I can also send you entire source code with implementations....
greetings
Millo