Upgrade to CodeMirror 3

Multiple gutters, some changes in API