message: docker: add libtinyxml2-dev
  This is now needed for the Linux build
diff: @@ -25,6 +25,7 @@ RUN apt-get update \
  automake \
  python \
  python-pip \
  + libtinyxml2-dev \
  && apt-get -y autoremove \
  && apt-get clean autoclean \
  && rm -rf /var/lib/apt/lists/{apt,dpkg,cache,log} /tmp/* /var/tmp/*
  