Search ports

Ranked full-text search over each port's name, comment and description, in all five systems. Tick systems to search only those; tick any number of repositories, categories or maintainers to narrow the results: ticks in one group mean any of them, ticks in different groups all of them. The address keeps the filters, so a filtered search can be shared.