Merge branch 'vivado-tools' into 'master'

Vivado tools

See merge request common/dockerfiles!5

base/vivado-tools:1.0

+FROM docker.km3net.de/base/lm32-tools:1.0
+MAINTAINER Antonio Díaz <afdiaz@ugr.es>
+
+RUN yum -y update && \
+    yum -y install centos-release-scl && \
+    yum install devtoolset-8-gcc devtoolset-8-gcc-c++ \
+    yum -y libX11 btrfs-tools && \
+    yum clean all && \
+    rm -rf /var/cache/yum
+SHELL ["/bin/bash", "-c"]
+WORKDIR /root
+RUN git clone https://github.com/google/googletest.git
+WORKDIR /root/googletest
+RUN source scl_source enable devtoolset-8 && cmake3 . && make && make install
+WORKDIR /root
+RUN rm -rf googletest
+ADD http://sftp.km3net.de/externals/vivado.tar.gz /tmp
+WORKDIR /
+RUN tar xvzf /tmp/vivado.tar.gz
+RUN rm /tmp/vivado.tar.gz
+WORKDIR /root
+RUN echo "source /home/tools/Xilinx/Vivado/2019.2/settings64.sh" >> /root/.bashrc
+RUN echo $' \
+XFILE="/tmp/full_vivado_22GB.img" \n\
+if [[ -f ${XFILE} ]] \n\
+then \n\
+echo Full Vivado tools detected \n\
+mkdir -p /mnt/vivado_dsk \n\
+mount -o loop ${XFILE} /mnt/vivado_dsk -o compress,ro \n\
+rm -rf /home/tools \n\
+ln -s /mnt/vivado_dsk/tools /home/tools \n\
+fi \n\
+' > /tmp/boot1
+RUN chmod +x /tmp/boot1
+ENTRYPOINT "/tmp/boot1" && scl enable devtoolset-8 -- bash