Problem: ci_build.sh make check is overly complex

Solution: simply run make VERBOSE=1 check instead of manually
checking for return value and cat'ing the log file. With VERBOSE, on
error the log file will be automatically printed.

ci_build.sh

@@ -28,7 +28,7 @@ if [ $BUILD_TYPE == "default" ]; then
         ./autogen.sh &&
         ./configure "${CONFIG_OPTS[@]}" &&
         make &&
-        ( if make check; then true; else cat test-suite.log; exit 1; fi ) &&
+        make VERBOSE=1 check &&
         make install
     ) || exit 1
 else