wrong help text of files combo box in grepwidget.ui

[David Nolden]

Btw. I fixed the documentation, and also tested, both commas and
spaces seem to work as separators.