Don't treat Opera 15 as opera
[nginx mode] Add
[nginx mode] Integrate
Fix bug in setSize()

The function was referring to "cm", which is not necessarily defined.
[rst mode] Better innerMode implementation

Also fixes CodeMirror.innerMode to give up on null or fixpoint

Issue #1704
[compression helper] Fix copy-paste error
Recompute max line when a widget updates
CSS hack to make sure visible non-wrapped content can always be scrolled into view

(Even when the widest-line heuristic goes wrong.)
[tern addon] Add some basic info to the demo page
Mark release 3.15.0
Bump version number post-3.15
Add 'and others' to copyright info in LICENSE
[real-world uses] Add Gerrit and xsd2codemirror
Workaround for issue #1474
Merge branch 'master' into webed

Conflicts:
	mode/rst/rst.js