Add option to hide nonloggedin/nonsubmitted teams on the scoreboard

Done as a config option for the following 2 cases:
- Normally you want a team which has logged on on the scoreboard
- In case of the autologin tool of GEHACK/Nicky the user would also
login without interaction of the actual team

etc/db-config.yaml

@@ -269,6 +269,15 @@
             default_value: false
             public: true
             description: Show canonical compiler and runner version on the team pages.
+        -   name: hide_teams_scoreboard_condition
+            type: int
+            default_value: 0
+            public: true
+            description: Hide teams on the scoreboard?
+            options:
+                0: never
+                1: when never logged in
+                2: when didn't submit
 -   category: Authentication
     description: Options related to authentication.
     items:

webapp/src/Service/ScoreboardService.php

@@ -32,6 +32,10 @@
 
 class ScoreboardService
 {
+    final public const HIDE_TEAM_NEVER = 0;
+    final public const HIDE_TEAM_NO_LOGIN = 1;
+    final public const HIDE_TEAM_NO_SUBMIT = 2;
+
     public function __construct(
         protected readonly EntityManagerInterface $em,
         protected readonly DOMJudgeService $dj,
@@ -944,8 +948,17 @@ protected function getTeams(Contest $contest, bool $jury = false, Filter $filter
                 ->setParameter('cid', $contest->getCid());
         }
 
+        $hide_filter = $this->config->get('hide_teams_scoreboard_condition');
         if (!$jury) {
             $queryBuilder->andWhere('tc.visible = 1');
+            if ($hide_filter === self::HIDE_TEAM_NO_LOGIN) {
+                $queryBuilder
+                    ->join('t.users', 'u', Join::WITH, 'u.last_login IS NOT NULL');
+            } elseif ($hide_filter === self::HIDE_TEAM_NO_SUBMIT) {
+                $queryBuilder
+                    ->join('t.submissions', 's', Join::WITH, 's.contest = :cid')
+                    ->setParameter('cid', $contest->getCid());
+                }
         }
 
         if ($filter) {