Introduce a basic filter box for the server name.

Does not preserve zebra-stripes.  Hopefully I can find a workaround.