add option to show keep search&replace highlights

Now that we have an interactive message for seach&replace notification,
add another button "Keep highlighting", that keeps the search&replace
highlightings. As always, Escape hides the highlights, as before.

DIGEST: add "Keep highlighting" next to close button