update CodeMirror to v4.0. major feature: multiple selections (Ctrl-D)

Conflicts:
	editor.html
	js/codemirror/codemirror.js