Update CodeMirror to 3.16
Issue 6787: 	Script panel doesn't scroll to line when script execution is halted