Search functionality on leaderboards list

[zomglings]

It is hard to find leaderboards if you have created a lot of them.

[oolumorin]

The first implementation is front end only similar to terminus pools and dropper drops