Issue #2385

To prevent gaps when browsers interpret fractional numbers oddly.

Closes #2415

(Experimental for now. Prompted by indentation guide discussion.)

It assumed it saw all parts of the stream, and started
doing bad things when that was not the case.

Issue #2410

When line numbers are off, and the editor was initialized in
a hidden position, the gutters would sit on top of the text.

Issue #2365

Wrap FileReader.onload in operation.

Issue #2406

- Adjusting indent of pasted block to current line
- Handle multi-line case, subsequent lines have their indent adjusted by their offset
to the first line.
- Add two tests for ]p to demonstrate this.
- Add [p to indent paste above

Added django.js which implements the following modes

  - django (text/x-django)
  - django:inner

Issue #988

Issue #2382

Issue #2360

Issue #2385

Conflicts:
	AUTHORS
	doc/compress.html
	doc/manual.html
	index.html
	lib/codemirror.js
	package.json