Merge pull request #14 from jochenberger/master

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