A leading minus isn't part of the number token, but numbers can
start with a dot, which wasn't handled before.

Closes #1753

Changes in https://github.com/marijnh/CodeMirror/pull/1731 are missing.

This makes error.stack parsing work in Firefox and Opera 12-, and maybe in Safari too (didn't test).

Rather than adding a new rule.

Issue #1747

Closes #1744

Issue #1741

When the cursor blink rate is zero (or negative) the cursor should not
blink.  Previously, it was blinking as fast as possible when the rate
was zero.

Issue #1739

Issue #1739

Issue #1735

Issue #1743

current delay of 100ms between selection of word to highlighting is almost instantaneous.

To prevent a lot of DOM nodes from sticking around after measuring a
long line, easing the pressure on the GC.