Remove Docker build and documentation

[wint3ria]

Description

According to discussions in #257 , the docker deployment process and images are pretty stale.
It has been decided to move this development to a dedicated repository only providing Docker images, using an Eradiate package. The packaging branch is dedicated to such development.
The docker development is not part of the main eradiate repository anymore, and the planning for the development of new Eradiate images is not foreseen yet.

Removing the outdated Docker build implementation, documentation, and github workflow from the main repo is thus a preliminary step towards these objectives.

Checklist

• The code follows the relevant coding guidelines
• The code generates no new warnings
• The code is appropriately documented
• The code is tested to prove its function

$ grep -r docker | grep -v .git
> CHANGELOG.md:* Removed the docker images implemenation, deployment and documentation from the

• The feature branch is rebased on the current state of the main branch
• I updated the change log if relevant
• I give permission that the Eradiate project may redistribute my contributions under the terms of its license

[leroyvn]

Hi @wint3ria, thanks for taking care of this. I have a single very minor comment, then let's merge.