Added search box to ban list.

Having a search box for the ban list is useful to communities with a
large ban list.