Merge branch 'master' of https://NNMW07.math.tu-dresden.de/spraetor/dune-amdis

contrib/ci-setup

 #! /bin/bash
 
 set -e
+set -x
+
+root=${PWD}
 
 if [ ! -d install/MTL ]; then
-   mkdir -p install/MTL.tmp
-   cd install/MTL.tmp
+   mkdir -p install/MTL
+   cd install/MTL
    curl -o MTL.tar.gz "http://www.simunova.com/downloads/mtl4/MTL-4.0.9555-Linux.tar.gz"
    tar --strip-components=2 -xf MTL.tar.gz
-   cd ..
-   mv MTL.tmp MTL
+   rm MTL.tar.gz
+   cd ${root}
+fi
+
+if [ ! -d install/gtest ]; then
+   mkdir -p install/gtest
+   cd install/gtest
+   cmake -DCMAKE_INSTALL_PREFIX=${root}/install/gtest /usr/src/gtest
+   make
+   cd ${root}
 fi