Redlock style distributed Locker client written in PHP