Basic integration of CodeMirror v3:
- changed events on Editor to use new CodeMirror event mechanism instead of setOption()
- changed getScrollerElement() to getRootElement() for managing height
- changed delCharLeft()/delCharRight() to delCharBefore()/delCharAfter()
- changed various CodeMirror style classes whose names have changed
- commented out some unimplemented methods
- updated CodeMirror SHA
Initial integration of inline editors:
- update inline editors to use new addLineWidget() API
- use markText() for line hiding
- refresh host editor after adding an inline widget so CodeMirror updates its line heights properly
- make rule list appear in front of code in inline widget
Update CodeMirror SHA for upstream merge
Merge branch 'master' into cmv3
Update CodeMirror SHA
Clarified comment; cleaned up JSLint error
Update to latest CodeMirror upstream
Updated to latest CodeMirror
Merge remote-tracking branch 'origin/master' into cmv3
Update various uses of CodeMirror APIs to be compatible with v3, based on the upgrade guide in the v3 docs.
Merge branch 'master' into cmv3
Move font size definition/changes to .CodeMirror. Make editor padding relative to font size.
do not hide lines when the range is zero
Merge pull request #2024 from adobe/jasonsanjose/cmv3

[cmv3] do not hide lines when the range is zero
Enabled Haxe mode (with syntax highlighting). Require CodeMirror version > 3.0beta1 or > 2.31.
Update to latest v3
Merge from master and update to latest CodeMirror v3 (which is now upstream/master)
Update to latest CodeMirror upstream master
Merge remote-tracking branch 'origin/master' into cmv3
[cmv3] Inline editor bugfixes:
* Don't try to hide any lines if the range to hide is empty.
* Set inclusiveLeft/inclusiveRight when marking text to be hidden so the first/last lines
  are included.
* If focus is in an inline widget before a refresh, restore focus afterward.
* Call _removeInlineWidgetInternal() when we remove a widget since we no longer get called
  back in this case.
* Fix up unit test hidden line verification to work with new v3 API.

Note that there are still three failing unit tests in InlineEditorProviders-test. Two of
them are related to inline widget sizing, which will be addressed in a future user story.
The third will be fixed by a bugfix that we're submitting upstream:
https://github.com/njx/CodeMirror/compare/widget-focus