Tidy-up workspace and infer option for suppression

docker/code-analysis/Dockerfile

@@ -223,21 +223,6 @@ RUN \
     unzip pmd-bin-${PMD_VERSION}.zip && \
     mv pmd-bin-${PMD_VERSION} /usr/local/pmd
 
-# microxml
-ARG MICROXML_VERSION=72965423184f24cc0b963d91c2d1863cdb01b6aa
-RUN \
-    cd /opt/dev && \
-    git clone https://dev.iopsys.eu/mirror/microxml.git && \
-    cd microxml && \
-    git checkout ${MICROXML_VERSION} && \
-    autoreconf -i; \
-    cd /opt/dev/microxml && \
-    ./configure --prefix=/usr --disable-threads --enable-shared --enable-static && \
-    make -j$(nproc) && \
-    make install && \
-    ln -sf /usr/lib/libmicroxml.so.1.0 /lib/libmicroxml.so && \
-    ln -sf /usr/lib/libmicroxml.so.1.0 /lib/libmicroxml.so.1
-
 # Download the Infer release
 ARG INFER_VERSION=v1.2.0
 RUN cd /opt/dev && \