Added server key filter input and buttom on sidebar

By default, config.inc.php set server filter can via Redis server filter, Sidebar "type here to filter" input box only filter by Javascript. But sometimes Redis server has very much keys, filter by Javascript is very slow and take more resources.

Added server key filter input box, filter is via Redis server filter, very fast and light.