Only pack CM3 themes selectable by the user

This avoids packing too many CSS rules, which bloats the download
to the browser and may slow down rendering while the browser picks
matching CSS classes.

Change-Id: I8888bc9daa9693ff2598ccfe29d150fa3fac0916

lib/codemirror/BUCK

@@ -17,7 +17,7 @@ genrule(
       "echo '*/' >>$OUT",
     ] +
     ['unzip -p $SRCDIR/%s %s/%s >>$OUT' % (ZIP, TOP, n)
-     for n in CM3_CSS]
+     for n in CM3_CSS + CM3_THEMES]
   ),
   srcs = [genfile(ZIP)],
   deps = [':download'],

lib/codemirror/cm3.defs

@@ -1,33 +1,12 @@
 CM3_CSS = [
   'lib/codemirror.css',
   'addon/dialog/dialog.css',
-  'theme/3024-day.css',
-  'theme/3024-night.css',
-  'theme/ambiance-mobile.css',
-  'theme/ambiance.css',
-  'theme/base16-dark.css',
-  'theme/base16-light.css',
-  'theme/blackboard.css',
-  'theme/cobalt.css',
+]
+
+CM3_THEMES = [
   'theme/eclipse.css',
   'theme/elegant.css',
-  'theme/erlang-dark.css',
-  'theme/lesser-dark.css',
-  'theme/mbo.css',
-  'theme/midnight.css',
-  'theme/monokai.css',
   'theme/neat.css',
-  'theme/night.css',
-  'theme/paraiso-dark.css',
-  'theme/paraiso-light.css',
-  'theme/rubyblue.css',
-  'theme/solarized.css',
-  'theme/the-matrix.css',
-  'theme/tomorrow-night-eighties.css',
-  'theme/twilight.css',
-  'theme/vibrant-ink.css',
-  'theme/xq-dark.css',
-  'theme/xq-light.css',
 ]
 
 CM3_JS = [