Revert "Upgrade CodeMirror to v3.11"

This reverts commit c1778de9d4f84daabc928d6d5ec4036228ea4f01.