Use the "NPM WebJar" instead of "classic WebJar" for CodeMirror

The NPM WebJar is easier to deploy. As soon as the CodeMirror author
publishes a new version to NPM, anyone can deploy it to WebJars in one
click. In contrast, the classic WebJar requires a WebJars team member to
manually update and deploy it, which usually takes longer [1].

Also update version to 5.13.4, which was a trivial fix to include the
LICENSE file and brought no functionality change.

[1]: http://www.webjars.org/

Change-Id: I9328f371aa99cac7e81b3f8a442d6582275ad3a7
diff --git a/lib/codemirror/BUCK b/lib/codemirror/BUCK
index 8c2b322..30d29ae 100644
--- a/lib/codemirror/BUCK
+++ b/lib/codemirror/BUCK
@@ -1,14 +1,14 @@
 include_defs('//lib/maven.defs')
 include_defs('//lib/codemirror/cm.defs')
 
-VERSION = '5.13.2'
+VERSION = '5.13.4'
 TOP = 'META-INF/resources/webjars/codemirror/%s' % VERSION
 TOP_MINIFIED = 'META-INF/resources/webjars/codemirror-minified/%s' % VERSION
 
 maven_jar(
   name = 'codemirror-minified',
   id = 'org.webjars.npm:codemirror-minified:' + VERSION,
-  sha1 = '420b73c0dfa7885ff7f60df2dce7d2cbae4ffeef',
+  sha1 = 'fb207d777aad82423d098c3660bd2ca72775bf6e',
   attach_source = False,
   license = 'codemirror-minified',
   visibility = [],
@@ -16,8 +16,8 @@
 
 maven_jar(
   name = 'codemirror-original',
-  id = 'org.webjars:codemirror:' + VERSION,
-  sha1 = '4a26f060aeca679fdf751d2b480499c8a5f71e47',
+  id = 'org.webjars.npm:codemirror:' + VERSION,
+  sha1 = '4130b0a7e998d304277a86062351cb9e2840cbfa',
   attach_source = False,
   license = 'codemirror-original',
   visibility = [],