codemirror 3.21

codemirror monthly update (see https://groups.google.com/forum/?fromgroups#!topic/codemirror/HlsihxhQVDw)
added a new theme pastel-on-dark