first fixes to Leaderboards
adding Redis::decrementHash()
adding Stats::dec()