Add text search to the build output

Javier Guerrarequested to merge
javier/kate:search_build_output into master

Adds a simple search facility to the Output pane of the Build plugin.

GUI:

Merge request reports