Make matchmaking-service multi-instance safe

[TexablePlum]

The scanning matchmaking scheduler would double-match players if two instances ran, and presence
tracking is in-memory. Leader election for the scan loop (ShedLock is sufficient) plus atomic
queue operations in Redis.