Add syntax highlighting support for puppet

This change will let Gerrit do proper syntax highlighting on
puppet files since CodeMirror supports puppet [1].

[1] http://codemirror.net/mode/puppet/index.html

Feature: issue 3293
Change-Id: Ib9bb66ee4cc656a7911672d62a4bde0e458a3f80

gerrit-gwtui/src/main/java/net/codemirror/mode/ModeInfo.java

@@ -62,6 +62,7 @@ public class ModeInfo extends JavaScriptObject {
       Modes.I.php(),
       Modes.I.pig(),
       Modes.I.properties(),
+      Modes.I.puppet(),
       Modes.I.python(),
       Modes.I.r(),
       Modes.I.rst(),

gerrit-gwtui/src/main/java/net/codemirror/mode/Modes.java

@@ -47,6 +47,7 @@ public interface Modes extends ClientBundle {
   @Source("php.js") @DoNotEmbed DataResource php();
   @Source("pig.js") @DoNotEmbed DataResource pig();
   @Source("properties.js") @DoNotEmbed DataResource properties();
+  @Source("puppet.js") @DoNotEmbed DataResource puppet();
   @Source("python.js") @DoNotEmbed DataResource python();
   @Source("r.js") @DoNotEmbed DataResource r();
   @Source("rst.js") @DoNotEmbed DataResource rst();

gerrit-server/src/main/resources/com/google/gerrit/server/mime/mime-types.properties

@@ -33,6 +33,7 @@ php = text/x-php
 pig = text/x-pig
 pl = text/x-perl
 pm = text/x-perl
+pp = text/x-puppet
 project.config = text/x-ini
 properties = text/x-ini
 py = text/x-python

lib/codemirror/cm.defs

@@ -64,6 +64,7 @@ CM_MODES = [
   'php',
   'pig',
   'properties',
+  'puppet',
   'python',
   'r',
   'rst',