[real-world uses] Add nodeMirror
solarized selection should match gutter
[css mode] Recognize numbers with leading dot

Closes #1833
Closes #1834
Ensure scrollbar/width instability doesn't cause infinite loop

Issue #1787
Don't add null changes to history

Issue #1836
[test suite] Fix windows/IE incompatibilities

Closes #1826
Mark release 3.17
Bump version number post-3.17
Fix bug in gutter/linenumber syncing
Add checking of global variable access to linter
Mark release 3.18
Bump version number post-3.18
Note 3.18 in releases.html
Remove unused file