Add script to update codemirror and pull v3.11

Move to codemirror v3.11 and provide script to easily get the latest.

Depends on #225.