[web2py] searching the group posts

[DenesL]

The new Google groups search seems to work much better than the old
groups one.
It is at the top of the page of https://groups.google.com/forum/#!forum/web2py