better search integration - search is not replaced but extended

Da mich das Problem mit der Suche (https://github.com/SimonWaldherr/wp-osf-shownotes/issues/7) gestört hat, habe ich Eure Such-Erweiterung mal umgeschrieben. Ich habe bei zwei Test-Installationen keine Probleme gefunden - vielleicht hilft es ja weiter.