Upgrade CodeMirror to 5.13

At least version 5.11 is needed to enable JSX mode, but we
couldn't use 5.11 or 5.12 due to a known issue with
bidirectional text [1]. Release 5.13 included Michael Zhou's
fix for [1].

Now that 5.13 is released and deployed to Maven, upgrade to that
version. JSX support, along with many more language modes that
we missed during previous upgrades, will be added in a follow-up
change.

[1] https://github.com/codemirror/CodeMirror/issues/3846

Change-Id: I37314d9d4f8aef98fe724a999c08f09aa7d411fa

lib/codemirror/BUCK

@@ -3,8 +3,8 @@ include_defs('//lib/codemirror/cm.defs')
 include_defs('//lib/codemirror/closure.defs')
 
 REPO = MAVEN_CENTRAL
-VERSION = '5.8'
-SHA1 = '1cbe267adf1da9659dae49253305649dae2391e9'
+VERSION = '5.13'
+SHA1 = '4888b4e7dde6822ff5f688f5f89c84fd7cf5a764'
 
 if REPO == MAVEN_CENTRAL:
   URL = REPO + 'org/webjars/codemirror/%s/codemirror-%s.jar' % (VERSION, VERSION)