Add search for user names, add names in user table

- Regenerated GraphQL due to new required query 'multiUser'

web/frontend/src/Header.svelte

@@ -57,7 +57,7 @@
             <InputGroup>
                 <Input type="text" placeholder="Search 'type:<query>' ..." name="searchId"/>
                 <Button outline type="submit"><Icon name="search"/></Button>
-                <InputGroupText style="cursor:help;" title={isAdmin ? "Example: 'projectId:a100cd', Types are: jobId | jobName | projectId | username" : "Example: 'jobName:myjob', Types are jobId | jobName"}><Icon name="info-circle"/></InputGroupText>
+                <InputGroupText style="cursor:help;" title={isAdmin ? "Example: 'projectId:a100cd', Types are: jobId | jobName | projectId | username" | "name" : "Example: 'jobName:myjob', Types are jobId | jobName"}><Icon name="info-circle"/></InputGroupText>
             </InputGroup>
         </form>
         {#if username}

web/frontend/src/List.root.svelte

@@ -20,6 +20,7 @@
     const stats = operationStore(`query($filter: [JobFilter!]!) {
         rows: jobsStatistics(filter: $filter, groupBy: ${type}) {
             id
+            name
             totalJobs
             totalWalltime
             totalCoreHours
@@ -93,6 +94,15 @@
                     <Icon name="sort-numeric-down" />
                 </Button>
             </th>
+            {#if type == 'USER'}
+                <th scope="col">
+                    Name
+                    <Button color="{sorting.field == 'name' ? 'primary' : 'light'}"
+                        size="sm" on:click={e => changeSorting(e, 'name')}>
+                        <Icon name="sort-numeric-down" />
+                    </Button>
+                </th>
+            {/if}
             <th scope="col">
                 Total Jobs
                 <Button color="{sorting.field == 'totalJobs' ? 'primary' : 'light'}"
@@ -137,6 +147,9 @@
                             {row.id}
                         {/if}
                     </td>
+                    {#if type == 'USER'}
+                        <td>{row?.name ? row.name : ''}</td>
+                    {/if}
                     <td>{row.totalJobs}</td>
                     <td>{row.totalWalltime}</td>
                     <td>{row.totalCoreHours}</td>

web/frontend/src/filters/Filters.svelte

@@ -46,6 +46,7 @@
         user:       filterPresets.user       || '',
         project:    filterPresets.project    || '',
         jobName:    filterPresets.jobName    || '',
+        multiUser:  filterPresets.multiUser  || [],
 
         numNodes:         filterPresets.numNodes         || { from: null, to: null },
         numHWThreads:     filterPresets.numHWThreads     || { from: null, to: null },
@@ -93,6 +94,8 @@
             items.push({ numAccelerators: { from: filters.numAccelerators.from, to: filters.numAccelerators.to } })
         if (filters.user)
             items.push({ user: { [filters.userMatch]: filters.user } })
+        if (filters.multiUser.length != 0)
+            items.push({ multiUser: filters.multiUser })
         if (filters.project)
             items.push({ project: { [filters.projectMatch]: filters.project } })
         if (filters.jobName)
@@ -128,6 +131,9 @@
             opts.push(`numAccelerators=${filters.numAccelerators.from}-${filters.numAccelerators.to}`)
         if (filters.user)
             opts.push(`user=${filters.user}`)
+        if (filters.multiUser.length != 0)
+            for (let singleUser of filters.multiUser)
+                opts.push(`multiUser=${singleUser}`)
         if (filters.userMatch != 'contains')
             opts.push(`userMatch=${filters.userMatch}`)
         if (filters.project)