Install docker & docker-compose properly

ci/Dockerfile_ci_base

@@ -5,4 +5,14 @@
 #
 FROM centos:centos8.3.2011
 
-RUN yum -y install make docker
+# install Docker, see dockers://docs.docker.com/engine/install/centos/
+RUN yum install -y yum-utils
+RUN yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.repo
+RUN yum -y install docker-ce-cli
+
+# install Docker Compose, see https://github.com/docker/compose/releases
+RUN yum -y install python3-pip
+RUN pip3 install docker-compose
+
+# other dependencies
+RUN yum -y install make