Update CodeMirror

See #57. Updates to the latest CodeMirror v3.02. This is a minimal update for now and doesn't take advantage of some of the new features in v3 (like the new gutter model) but it would be available to any plugins people might want to write.