Distributed lock with Redis and C# (based on http://redis.io/topics/distlock)