Added missing ext-searchbox.js for BZ #967690

The file is from ace build 02.07.2013. See: https://github.com/ajaxorg/ace-builds/blob/c669dbae73c42ed08e00752b53961a4ed33cde5c/src/ext-searchbox.js