Upgrade bundled CodeMirror inline editor to a modern release

[jonasbardino]

We have fixed the immediate issues with the upgrade to the latest release in the 4.x series. Modern 5.x and 6.x releases exist and probably would yield further features and fixes at the cost of a significant integration investment.