happygrep: grep with pretty tui
Merge pull request #6086 from happypeter/master

happygrep: grep with pretty tui