Remove some unneeded themes/languages These are not supported by the version of CodeMirror hosted internally at Google, and are also not currently used. Change-Id: Ic91267b8e3a7b17f1dcd8f66c61c0cd08ede1703
A plugin that uses CodeMirror to provide a rich code editing experience in PolyGerrit.