MediaWiki:Gadget-search bar

Adds a search bar to the wiki's local navigation. This makes searching a fair bit more convenient then it is currently where it pops up a separate window. This is simply an easy way to install UCXSearchBar from the Dev Wiki.