Rename Gerrit Non-Interactive Users to Service Users

This is just a documentation update but reflect the change upstream
Gerrit made in versions 3.3 renaming this group.

Change-Id: I5458afd2683c2a7c4616f4894884e3d3ce03bbaf

doc/source/gerrit.rst

@@ -294,7 +294,7 @@ Next, edit `project.config` to look like::
   administrateServer = group Administrators
   createProject = group Project Bootstrappers
   emailReviewers = deny group Third-Party CI
-  priority = batch group Non-Interactive Users
+  priority = batch group Service Users
   runAs = group Project Bootstrappers
   streamEvents = group Registered Users
 
@@ -351,7 +351,7 @@ Now edit the groups file. The format is::
   1234567890123456789012345678901234567890  group-foo
 
 Each of the groups listed above under 'Groups' should have an entry as well as
-the built in groups such as 'Non-Interactive Users' which may or may not be
+the built in groups such as 'Service Users' which may or may not be
 present in the initial groups file. You can find the UUID values by navigating
 to Admin -> Groups -> Group Name -> General in the Web UI.