And manually compensate for our own scrollbar sizes.

This way, we're no longer dependent on the size of our scrollbars
being the same as the size of native scrollbars, and can start to
think about custom scrollbars.

Which had been accidentally removed.

Issue #1567

Fixes a problem where the editor would always be 30 pixels smaller
than its set height.

The height is now set on the outer wrapper DIV again, and some
height: 100% tricks are used to make height information flow
both ways (inside-out in demo/resize.html mode, outside-in in
normal, fixed-height mode).

Closes #775

Issue #297

Since v2 is the canonical CodeMirror at this point

So that I can put other doc-related stuff there without polluting the
root dir.

It's tiny anyway, no need to force people to include yet another file.

This normalizes the classes used by most of the modes
(reStructuredText and diff didn't fit in), and makes them all
reference a central style sheet (under theme/). It also adds a theme
option that can be set to change the theme, and defines a few
different themes (some based on old mode colors).

This might break some client code.

There is now a CodeMirror-scroll class that is used to provide the
scrolling, rather than using the outer wrapper for this. This allows
adding fat borders to the wrapper without causing glitches in
cursor and mouse-click positioning.