Drop CodeMirror v3 demo, only include current v4.
Switch to new official codemirror repo.