Merge pull request #13 from jochenberger/master

Update CodeMirror to 4.1
[maven-release-plugin] prepare release codemirror-4.1
[maven-release-plugin] prepare for next development iteration
update CodeMirror to 4.2