Rework redis locking

[willemstuursma]

Some improvements that can be made:

• If the lock fails to be acquired on a majority of servers, immediately abort the lock.
• Only release locks on servers where we tried to set the lock
• Further investigate multiplexing (does not seem possible with current approaches)
• Acquire locks in random order of servers