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
Bail out early from onScrollWheel when no scrollbar present

Closes #1385
[show-hint addon] Add to compression helper
Fix bug in fromCoordSystem

Closes #1387
Pull in CodeMirror origin changes