FindReplaceOverlay: Add "skip replace" button#2507

Wittmaxi wants to merge 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

Wittmaxi:MW_add_skip_replaceWittmaxi/eclipse.platform.ui:MW_add_skip_replaceCopy head branch name to clipboard