Merge pull request #7 from jochenberger/master

update CodeMirror to 3.19
[maven-release-plugin] prepare release codemirror-3.19
[maven-release-plugin] prepare for next development iteration
update to 3.20