[css mode] fix navy and yellow not hightlighted as color
[scss mode] fix nested id selector not highlighted properly
Make tab elements inline blocks

Closes #1380
[vim] Fix :num and add unit test
Work around element size rounding issue on OS X

Also fixes a problem where individual gutter backgrounds would not
fill the space next to the horiz scrollbar.
Drop the formatting addon

It's flaky, and I don't want to support it.

Everybody: feel free to take the code, put it in some other repo
and maintain it.
Remove mysql and plsql modes

Use the generic sql mode, which has MIME types for these dialects.
Split folding functions into their own files
Remove the collapserange addon

Too specialized. Out of scope.
Remove simple-hint addon

Use show-hint, which is much more solid and configurable.
Mark release 3.11
Bump version number post-3.11
Work around the latest brand of bizarre Opera behavior (shift-')

Typing a double quote by holding shift and pressing ' has, since Opera
version 12.14, started firing an event with a keycode of 34, which is
well understood to be the keycode for page down. This hack makes it possible
on that browser version to type double quotes.

Closes #1383
Fix wrong variable name

Issue #1383
Make removeLine capable of removing the last line in the document
Increase margin between bottom of editor and textarea

Webkit still sometimes triggers scrolling in the wrapper div because of
the textarea's cursor.

Closes #1384
Fix outdated comment in codemirror.css
Experimental: support addToHistory option for markText
Wrong token if used with htmlmixed mode

It took the token of htmlmixed mode instead of the inner javascript mode, thus autocomplete was not fully functional. Same probelm might occur in xml autocomplete.
Clean up patch 39cc371f986dbf693bbf98931274c82c5afb5411