issue6713: add "use regular expression" menuitem to searchmenu
Merge pull request #136 from kaljak/issue6713

issue6713: add "use regular expression" menuitem to searchmenu