Allow puppet to configure the Gerrit's sshd.batchThreads option

Gerrit 2.11 has a sshd.batchThreads[1] option that will create
a seperate queue for ssh requests from non-inertactive users.

[1] https://gerrit-documentation.storage.googleapis.com/Documentation/
        2.11/config-gerrit.html#sshd.batchThreads

Change-Id: I1dd229dec0aa64616e620caf51105a77c9190ece

manifests/init.pp

@@ -43,6 +43,8 @@
 #   core_packedgitlimit:
 #   core_packedgitwindowsize:
 #   sshd_threads:
+#   sshd_batch_threads:
+#     Number of threads for SSH command requests from non-interactive users
 #   sshd_listen_address:
 #   sshd_idle_timeout:
 #       Server automatically terminates idle connections after this time
@@ -167,6 +169,7 @@ class gerrit(
   $core_packedgitopenfiles = '',
   $core_packedgitwindowsize = '',
   $sshd_threads = '',
+  $sshd_batch_threads = '',
   $sshd_listen_address = '*:29418',
   $sshd_idle_timeout = '',
   $sshd_max_connections_per_user = '',
@@ -360,6 +363,7 @@ class gerrit(
   # - $sshd_threads
   # - $sshd_idle_timeout
   # - $sshd_max_connections_per_user
+  # - $sshd_batch_threads
   # - $httpd_maxwait
   # - $httpd_acceptorthreads
   # - $httpd_minthreads

templates/gerrit.config.erb

@@ -83,6 +83,9 @@
 <% if @sshd_max_connections_per_user != "" -%>
 	maxConnectionsPerUser = <%= @sshd_max_connections_per_user %>
 <% end -%>
+<% if @sshd_batch_threads != "" -%>
+	batchThreads = <%= @sshd_batch_threads %>
+<% end -%>
 [httpd]
 	listenUrl = proxy-https://*:8081/
 <% if @httpd_maxwait != "" -%>