Upgrade CodeMirror. Fix broken search highlighting.
Minor fixes in docs, mostly around Cypher.
Merge pull request #2624 from nawroth/master

Documentation fixes