Add search functionality to QTerminal

This commit adds search functionality to QTerminal. It depends on search functionality in qtermwidget (commit 4f9e1c4a060334d, pull request 'search functionality')

This commit adds a 'Find..' entry to the actions menu. Clicking that (or hitting Ctrl-Shift-Find) shows a search bar below the current terminal. 

This should fix issue #9