Install gerritbot files from puppet.

Change-Id: Ife98fa24e731bcbbe719f583b1788870433b7f10

modules/gerrit/manifests/init.pp

@@ -149,6 +149,31 @@ class gerrit($virtual_hostname='',
       environment => "PATH=/usr/bin:/bin:/usr/sbin:/sbin",
     }
 
+    file { "/usr/local/gerrit/gerritbot":
+      owner => 'root',
+      group => 'root',
+      mode => 555,
+      ensure => 'present',
+      source => 'puppet:///modules/gerrit/gerritbot',
+    }
+
+    file { "/etc/init.d/gerritbot":
+      owner => 'root',
+      group => 'root',
+      mode => 555,
+      ensure => 'present',
+      source => 'puppet:///modules/gerrit/gerritbot.init',
+      require => File['/usr/local/gerrit/gerritbot'],
+    }
+
+    service { 'gerritbot':
+      name       => 'gerritbot',
+      ensure     => running,
+      enable     => true,
+      hasrestart => true,
+      require => File['/etc/init.d/gerritbot'],
+    }
+
   } # testmode==false
 
   file { "/var/log/gerrit":