chore(docker): change name of redis container
chore(docker): change name of redis container

The name is easier to reuse, thus we may avoid to override it in the
config.

arenaoftitans/arena-of-titans-api,arenaoftitans/arena-of-titans-api