game server: use async Redis and AsyncHTTPClient