version 1.6, - new search, infinite map handling, etc

[wsrvn]

merge to main whenever ready.

current changes:

1. hypothetically infinite maps handling on the server
2. way faster search
3. nickname->player translation in admin commands
4. various ui fixes
5. some small bug fixes

[wsrvn]

#254 & #252 should probably be fixed before merge. dunno about #245.

[wsrvn]

todo: admin windows' refresh on privilege update broke again (somehow), gotta fix that..

[felacek]

It seems docker cannot build rn because of this bug, even though everything was fine 2 weeks ago... Maybe they release the update to npm soon? Otherwise we'll have to actually solve this ourselves (no idea why it doesn't work all of a sudden, and only on docker too...)