Search&Replace extension

Simple search&replace extension based on a codemirror addon.
Adds a search box to the notebook toolbar and selects search word if
found.
Also allows replacing words.