Show passed time to find what times out.

Author: vmcj

.github/jobs/baseinstall.sh

@@ -118,7 +118,10 @@ section_end
 
 if [ "${db}" = "install" ]; then
     section_start "Install the example data"
+    begin=$(date +%s)
     /opt/domjudge/domserver/bin/dj_setup_database -uroot -proot install-examples | tee -a "$ARTIFACTS/mysql.txt"
+    end=$(date +%s)
+    echo $((end-begin))
     section_end
 fi