Update codemirror
Set back height of codemirror
Improve performance for long line. Related to #536
Fix margin bottom. Regression when we updated codemirror
Fix regression from when we updated CM. See #192
Update codemirror. Related to #529
Merge branch 'michel_536_large_file' into next