Add option to query gitlab users without project bots.

Author: Taavi Ansper

src/LdapSyncCommand.php

@@ -1354,7 +1354,7 @@ private function deployGitlabUsersAndGroups(array $config, string $gitlabInstanc
         $this->logger?->notice("Finding all existing Gitlab users...");
         $p = 0;
 
-        while (is_array($gitlabUsers = $gitlab->users()->all(["page" => ++$p, "per_page" => 100])) && [] !== $gitlabUsers) {
+        while (is_array($gitlabUsers = $gitlab->users()->all(["page" => ++$p, "per_page" => 100, "without_project_bots" => true])) && [] !== $gitlabUsers) {
             /** @var array<int, GitlabUserArray> $gitlabUsers */
             foreach ($gitlabUsers as $i => $gitlabUser) {
                 $n = $i + 1;