math: Fix blocker for updating CodeMirror.
Update it to HEAD (deliberately not stopping at 3.18.0 because 99192a96f44e55eb395ad007330168e24d866c8d might improve performance).