battle format selector

[wgranados]

I always find myself spending minutes looking through this trying to find a format I have in mind.
If you go on other servers the list is even bigger, so I was thinking maybe adding a search feature would help.
The design is up for discussion :D

[Zarel]

I've mulled a few improvements, but I never really thought of a good one tbh.