Upgrade to using Eclipse 4.23 for formatting checks

We need multiple versions as the still active CDT 10.6
branch still uses 4.13

docker/cdt-infra-plus-eclipse-install/ubuntu-18.04/Dockerfile

@@ -7,6 +7,8 @@ RUN apt-get install -y curl tar gzip
 RUN mkdir -p ${HOME}/buildtools && cd ${HOME}/buildtools \
   && curl -sL https://download.eclipse.org/eclipse/downloads/drops4/R-4.13-201909161045/eclipse-SDK-4.13-linux-gtk-x86_64.tar.gz | tar xvz \
   && mv eclipse eclipse-SDK-4.13 \
+  && curl -sL https://download.eclipse.org/eclipse/downloads/drops4/R-4.23-202203080310/eclipse-SDK-4.23-linux-gtk-x86_64.tar.gz | tar xvz \
+  && mv eclipse eclipse-SDK-4.23 \
   && chown -R 1000:0 ${HOME} \
   && chmod -R g+rwX ${HOME}