Define a volume for the caching Redis

[Delta1977]

Related Issue: #851

New Behavior

Prevent the creation of a temporary volume for the caching redis

Contrast to Current Behavior

Docker automatically creates a volume for /data, as the Container manifest of redis defines a volume.

Discussion: Benefits and Drawbacks

The benefit is that less unmanaged volumes are created and that the ones who are created, that these are controllable. (E.g. that they respond to docker compose down -v, which removes all managed volumes.)

Changes to the Wiki

n/a

Proposed Release Note Entry

Pre-defined volume for the caching redis, to prevent the container runtime from creating an temporary unmanaged volume.

Double Check

• I have read the comments and followed the PR template.
• I have explained my PR according to the information in the comments.
• My PR targets the develop branch.

[cimnine]

I've updated the PR description. Please follow the template next time.