[real-world uses] Add link to WebGL academy
[manual] Mention CodeMirror.signal

Closes #1698
Revert "When pasting on Webkit, add a nonsense character to work around browser bug"

This reverts commit d59e2ae4e56b6279bbde82e5618e8013910c27b8.
[xml mode] Improved indentation for attributes and multi-line tags

Issue #1694
[tern addon] Fix bug in findDoc method causing docs to get added with name of 'undefined'

The name var was getting clobbered in the initial for-in loop, so the
second loop would never be entered.
Allow DOM events to be ignored by setting codemirrorIgnore

Issue #1681
Propagate forceUpdate to updateDisplayInner, never bail when true

This makes sure that when a DOM element changed size, we propagate
that change properly.
Add a test for marker.changed scrollbar updating
[show-hint addon] Fix problem with events being fired on the wrong data object

Issue marijnh/tern#200
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