Now available: Search for any game lobby, map, or player

The battle list in lobby now features a search bar at the top to filter by any lobby, player, or map name. Thanks to jere0500 for the PR!