Update CI to check old db upgrade

In this dump:

1. Created a user
2. Created a team
3. Uploaded problems with admin privileges
4. Created a new contest
5. Imported problems into the new contest
6. Submitted code with the team in all contests, with both AC and WA results
7. Rejudged previous submissions from the backend
8. Changed the code from the backend and uploaded it again
9. Sent a clarification from the team
10. Responded to the clarification from the admin
11. Changed the default configuration of lazy_eval

.github/jobs/baseinstall.sh

@@ -58,9 +58,15 @@ mysql_user "SELECT CURRENT_USER();"
 mysql_user "SELECT USER();"
 section_end
 
-section_start "Install DOMjudge database"
-/opt/domjudge/domserver/bin/dj_setup_database -uroot -proot bare-install
-section_end
+if [ "${db}" = "install" ]; then
+    section_start "Install DOMjudge database"
+    /opt/domjudge/domserver/bin/dj_setup_database -uroot -proot bare-install
+    section_end
+elif [ "${db}" = "upgrade" ]; then
+    section_start "Upgrade DOMjudge database"
+    /opt/domjudge/domserver/bin/dj_setup_database -uroot -proot upgrade
+    section_end
+fi
 
 section_start "Show PHP config"
 php -v | tee -a "$ARTIFACTS"/php.txt